Петрі-об’єктна модель системи управління транспортним рухом

The article considers the simulation of traffic control's system based on Petri-object modeling. The dynamics of Petri-objects of the system are described by stochastic timed Petri net with conflict and multichannel transitions that allows to recreating various types of traffic control.В статье рассматривается имитационное моделирование системы управления транспортным движением, основывающееся на Петри-объектной технологии. Динамика Петри-объектов системы описывается стохастической временной сетью Петри с конфликтными и многоканальными переходами, что позволяет воссоздать различные виды управления транспортным движением