摘要
文中针对EPr/TN网在可达性分析时出现的冗余并发后继现象,从产生原因入手,给出一种解决算法.并由此深入研究这种扩展Petri网固有的不完备性,最后提出了改进方法.
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