基于Petri网矩阵模型仿真的改进算法

Petri网的矩阵模型是分析Petri网的可达性、活性、有界性等基本性质以及状态演化过程的一种数学方法。在包含瞬时活动的情况下，传统的矩阵模型方法无法在一个步长内捕获所有应该同时激发的变迁，而是推迟到下一个步长，从而产生不精确的仿真结果。对此提出一种新的定步长仿真算法，得到了完全符合系统真实行为的仿真结果。算法进一步推广到基于事件调度的仿真方法中，可显著提高仿真效率。

New Simulation Algorithms Based on Matrix Model of petri Nets

The matrix model of the Petri nets is a widely used mathematical tool for analysis of the properties of Petri nets,such as reachability, liveness, boundedness and etc. It is also used to explore the behaviors and the state changes of the simulated systems. In the situations where there exist transient activities, the traditional matrix model cannot identify in one time step all the transition firings that should happen at the same time. Instead, some of the firings are postponed to the next step. This therefore results in inaccurate simulation results. A new time-stepped simulation algorithm is presented based on the matrix model. The simulation results completely reflect the actual behaviors of the systems. The algorithm is further extended to the simulation implemented using the approach of next event scheduling.