一种基于Petri网的急救车优先行驶建模方法

摘要

本发明公开了一种基于Petri网的急救车优先行驶建模方法，该方法包括如下步骤：(1)将时间Petri网、同步Petri网和禁止弧的概念相结合，提出时间同步Petri网的定义；(2)基于Petri网建立二相位交叉口正常状态模型，用于模拟交叉口红绿灯的变换；(3)通过HPSim软件和可达图分析法验证正常状态模型的正确性；(4)在正常状态模型的基础上基于Petri网建立二相位交叉口急救车优先通行模型，该模型直观地描述了急救车到达交叉口时红绿灯的变化情况，利于分析和验证，并且易于实现。(5)通过HPSim软件和可达图分析法验证急救车优先通行模型的正确性。