Симулятор на основе сетей Петри для подготовки водителей

В дипломной работе представлены исследования по применимости сетей Петри для симуляции дорожно-транспортных ситуаций. Данная работа включает анализ различных методов и расширений сетей Петри для верификации действий водителя согласно правилам дорожного движения. Предложены подходы к интерпретации и представлению правил для сопоставления дорожных ситуаций с разрабатываемой формальной моделью. Приведено описание главных аспектов верификации и программной реализации симулятора, основанных на записи логов с действиями водителя и событиями эмулируемой внешней среды. Изложенная архитектура, основанная на вложенных сетях Петри, может обеспечить проверку правильности действий относительно дорожных знаков, светофоров, сигналов поворотов и правила проезда нерегулируемого перекрёстка с различными приоритетами дорог, включая взаимодействие с другими участниками дорожного движения. правила дорожного движения, сети Петри, цветные сети Петри, вложенные сети Петри, дорожно-транспортная модель, формальные методы