论文部分内容阅读
文中针对ＥＰｒ／ＴＮ网在可达性分析时出现的冗余并发后继现象，从产生原因入手，给出一种解决算法．并由此深入研究这种扩展Ｐｅｔｒｉ网固有的不完备性，最后提出了改进方法．
Aiming at the redundant concurrency successor phenomenon in the reachability analysis of EPr / TN network, this paper gives a solution algorithm from the cause. In this way, the intrinsic incompleteness of this kind of extended Petri nets is deeply studied. At last, an improved method is proposed.