Petri网的标注可达树

被引:5
作者
蒋昌俊
吴哲辉
机构
[1] 山东矿业学院应用数学与软件工程系
[2] 山东矿业学院应用数学与软件工程系 泰安
[3] 泰安
关键词
可达树; 概念; 思维形式; 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) :194-200