| Petri网可达性的综合判定法 |
| |
| 引用本文： | 胡娟,刘力惠,范植华,李磊,王常青,周纬杰.Petri网可达性的综合判定法[J].软件学报,2004,15(7):949-955. |
| |
| 作者姓名： | 胡娟 刘力惠 范植华 李磊 王常青 周纬杰 |
| |
| 作者单位： | 中国科学院,软件研究所,北京,100080 |
| |
| 基金项目： | 国家高技术研究发展计划(863)~~ |
| |
| 摘 要： | Petri网标识的可达性判定问题是进行Petri网分析的基础，而传统的判定方法并不能确保所得结果的可靠性．在揭示Petri网可达性问题的实质之后，讨论了在标识图的同一连通域内标识可达性的判定问题，进而在分析相关原理的基础上提出了一种有效判定Petri网标识可达性的“综合判定法”．此判定方法综合多种传统判定方法的优点，结合Grobner基理论，确保了对Petri网标识可达性进行判定所得结果的可靠性．
|
| 关 键 词： | Petri网 可达性 Grobner基 |
| 文章编号： | 1000-9825/2004/15(07)0949 |
| 修稿时间： | 2003年12月23 |
Analysis for Reachability Problem of Petri Net |
| |
| HU Juan,LIU Li-Hui,FAN Zhi-Hua,LI Lei,WANG Chang-Qing,ZHOU Wei-Jie.Analysis for Reachability Problem of Petri Net[J].Journal of Software,2004,15(7):949-955. |
| |
| Authors: | HU Juan LIU Li-Hui FAN Zhi-Hua LI Lei WANG Chang-Qing ZHOU Wei-Jie |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
