-
题名Petri网的进程网系统
被引量:31
- 1
-
-
作者
曾庆田
吴哲辉
-
机构
中国科学院计算技术研究所智能开放实验室
山东科技大学计算机科学与技术系泰安
山东科技大学计算机科学与技术系
-
出处
《计算机学报》
EI
CSCD
北大核心
2002年第12期1308-1315,共8页
-
基金
国家自然科学基金 ( 6 0 1730 5 3
6 98730 2 9)资助
-
文摘
提出了 Petri网的进程网系统的概念 .一个 Petri网的进程网系统是以其基本进程段的集合为新的变迁集 ,以各个基本进程段集的输入和输出库所集的并集为新的库所集 ,以原网系统的初始标识为初始标识而得到的网系统 ,它可以很好地描述原网系统的进程行为 .文中讨论了求取任意 Petri网的基本进程段的算法 ,该算法是通过研究网中的极小可重复向量和极小受控可重复向量在可覆盖树上的分布特征实现的 ,文中还给出了通过网结构来描述各个基本进程段之间关系的方法 ,从而求出一个 Petri网的进程网系统 .
-
关键词
PETRI网
进程网系统
基本进程段
可重复向量
受迭可重复向量
特征可达树
-
Keywords
Petri net, process net system, basic process section, repetitive vector, controlled repetitive vector, characteristic reachability tree
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-