基于Petri网矩阵模型仿真的改进算法
Petri网的矩阵模型是分析Petri网的可达性、活性、有界性等基本性质以及状态演化过程的一种数学方法.在包含瞬时活动的情况下,传统的矩阵模型方法无法在一个步长内捕获所有应该同时激发的变迁,而是推迟到下一个步长,从而产生不精确的仿真结果.本文对此提出一种新的定步长仿真算法,得到了完全符合系统真实行为的仿真结果.算法进一步推广到基于事件调度的仿真方法中,可显著提高仿真效率.
离散事件系统 赋时Petri网 矩阵模型 事件调度法
李建军 卫军胡 赵健鸣 孙国基
西安交通大学系统工程研究所
国内会议
贵阳
中文
354-357
2004-10-20（万方平台首次上网日期，不代表论文的发表时间）