摘要
文中针对ＥＰｒ／ＴＮ网在可达性分析时出现的冗余并发后继现象，从产生原因入手，给出一种解决算法．并由此深入研究这种扩展Ｐｅｔｒｉ网固有的不完备性，最后提出了改进方法．
In respect of redundant concurrentable successor, which occurs at the time of reachability analysis, the authors begin with examining its cause and then give a solution algorithm. Furthermore, the inherent incompleteness of that type of extended Petri net is studied. Finally, some methods of system modification are suggested.
出处
《计算机研究与发展》
EI
CSCD
北大核心
1998年第3期251-254,共4页
Journal of Computer Research and Development
基金
国家自然科学基金
江苏省自然科学基金
关键词
EPr/TN网
可达性分析
冗余并发后
计算机网络
EPr/TN net,reachability analysis, redundant concurrentable successor, completeness
