共 3 条
Petri网的标注可达树
被引:5
作者:
蒋昌俊
吴哲辉
机构:
[1] 山东矿业学院应用数学与软件工程系
[2] 山东矿业学院应用数学与软件工程系 泰安
[3] 泰安
来源:
关键词:
可达树;
概念;
思维形式;
Petri;
算法;
定义;
D O I:
10.13328/j.cnki.jos.1993.06.004
中图分类号:
学科分类号:
摘要:
本文基于Petri网的可达树的概念,给出标注可达树定义,并且证明网N与其标注可达树是一一对应的,然后,我们给出了网N与相应的标注可达树的相互转换算法。
引用
收藏
页码:22 / 28
页数:7
相关论文