利用可达性图判断petri网的可达性以及活性 |
| |
引用本文: | 郭长友,郑文艳,周智刚.利用可达性图判断petri网的可达性以及活性[J].中国科技信息,2006(12):147-148. |
| |
作者姓名: | 郭长友 郑文艳 周智刚 |
| |
作者单位: | 德州学院计算机系,253023 |
| |
摘 要: | Petri网的可达性树和可达性图都是分析Petri网的一种工具.本文先给出了如何从可达性树转换成可达性图,然后利用可达性图来判断petri网的可达性以及活性.并将可达性图与可达性树进行比较,证明了可达图是较可达树更为有力的一种分析工具.
|
关 键 词: | 可达性图 可达性树 活性 可达性 |
本文献已被 CNKI 维普 万方数据 等数据库收录! |
|