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