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