Petri网的标注可达树

被引：5

作者：

蒋昌俊

吴哲辉

机构：

[1] 山东矿业学院应用数学与软件工程系

[2] 山东矿业学院应用数学与软件工程系泰安

来源：

软件学报 | 1993年 / 06期

关键词：

可达树; 概念; 思维形式; Petri; 算法; 定义;

D O I：

10.13328/j.cnki.jos.1993.06.004

中图分类号：

学科分类号：

摘要：

本文基于Petri网的可达树的概念,给出标注可达树定义,并且证明网N与其标注可达树是一一对应的,然后,我们给出了网N与相应的标注可达树的相互转换算法。

引用

收藏

页码：22 / 28

页数：7

相关论文

共 3 条

[1] 有界Petri网的可达图到网图的转换算法 [J].

吴哲辉 ;

蒋昌俊 .

软件学报, 1992, (01) :23-29

[2] 有界Petri网的活性和公平性的分析与实现 [J].

吴哲辉 .

计算机学报, 1989, (04) :267-278

[3]

冻结标志——考核由PETRI网模拟的分布式系统的一种途径[J]. 陆维明,Agathe Merceron.中国科学(A辑数学物理学天文学技术科学). 1987(02)