利用可达性图判断petri网的可达性以及活性

摘要：

Petri网的可达性树和可达性图都是分析Petri网的一种工具.本文先给出了如何从可达性树转换成可达性图,然后利用可达性图来判断petri网的可达性以及活性.并将可达性图与可达性树进行比较,证明了可达图是较可达树更为有力的一种分析工具.

关键词：可达性图、可达性树、活性、可达性

分类号：TP3(计算技术、计算机技术)

在线出版日期：2006-07-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共2页

页码：147-148