学术探索
学术期刊
新闻热点
数据分析
智能评审
立即登录
Petri网的标注可达树
被引:5
作者
:
蒋昌俊
论文数:
0
引用数:
0
h-index:
0
机构:
山东矿业学院应用数学与软件工程系
蒋昌俊
吴哲辉
论文数:
0
引用数:
0
h-index:
0
机构:
山东矿业学院应用数学与软件工程系
吴哲辉
机构
:
[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].
吴哲辉
论文数:
0
引用数:
0
h-index:
0
机构:
山东矿业学院应用数学与软件工程系
吴哲辉
;
蒋昌俊
论文数:
0
引用数:
0
h-index:
0
机构:
山东矿业学院应用数学与软件工程系
蒋昌俊
.
软件学报,
1992,
(01)
:23
-29
[2]
有界Petri网的活性和公平性的分析与实现
[J].
吴哲辉
论文数:
0
引用数:
0
h-index:
0
机构:
山东矿业学院
吴哲辉
.
计算机学报,
1989,
(04)
:267
-278
[3]
冻结标志——考核由PETRI网模拟的分布式系统的一种途径[J]. 陆维明,Agathe Merceron.中国科学(A辑 数学 物理学 天文学 技术科学). 1987(02)
←
1
→
共 3 条
[1]
有界Petri网的可达图到网图的转换算法
[J].
吴哲辉
论文数:
0
引用数:
0
h-index:
0
机构:
山东矿业学院应用数学与软件工程系
吴哲辉
;
蒋昌俊
论文数:
0
引用数:
0
h-index:
0
机构:
山东矿业学院应用数学与软件工程系
蒋昌俊
.
软件学报,
1992,
(01)
:23
-29
[2]
有界Petri网的活性和公平性的分析与实现
[J].
吴哲辉
论文数:
0
引用数:
0
h-index:
0
机构:
山东矿业学院
吴哲辉
.
计算机学报,
1989,
(04)
:267
-278
[3]
冻结标志——考核由PETRI网模拟的分布式系统的一种途径[J]. 陆维明,Agathe Merceron.中国科学(A辑 数学 物理学 天文学 技术科学). 1987(02)
←
1
→