基于Petri网的可达树与可达图的构造与算法实现

摘要：

Petri网是一种系统设计和分析的工具,为了完成Petri网的各项分析,还需要借助如可达树、可达图等工具.讨论了Petri网可达树与可达图的构造方法,并给出了相应的算法.

关键词：Petri网、可达树、可达图

所属期刊栏目：34

分类号：TP301.6(计算技术、计算机技术)

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

页数：共3页

页码：111-113