Формализация алгоритма моделирования движения автомобильного дорожного транспота
Парамонов А.М., Томашевский В.Н.
Предложена формализация алгоритма моделирования движения автомобильного дорожного транспорта, в частности, внимание уделяется формализации алгоритмов обгона и перестроення с использованием сетей Петри. Приводится сеть Петри, описывающая состояния автомобильного средства, переходы между состояниями, и описывает условия, которые должны выполняться для срабатывания переходов.