Petri网的进程网系统

被引：30

作者：

曾庆田

吴哲辉

机构：

[1] 中国科学院计算技术研究所智能开放实验室

[2] 山东科技大学计算机科学与技术系

来源：

计算机学报 | 2002年 / 12期

关键词：

Petri网; 进程网系统; 基本进程段; 可重复向量; 受控可重复向量; 特征可达树;

D O I：

暂无

中图分类号：

TP393.03 [];

学科分类号：

摘要：

提出了 Petri网的进程网系统的概念 .一个 Petri网的进程网系统是以其基本进程段的集合为新的变迁集 ,以各个基本进程段集的输入和输出库所集的并集为新的库所集 ,以原网系统的初始标识为初始标识而得到的网系统 ,它可以很好地描述原网系统的进程行为 .文中讨论了求取任意 Petri网的基本进程段的算法 ,该算法是通过研究网中的极小可重复向量和极小受控可重复向量在可覆盖树上的分布特征实现的 ,文中还给出了通过网结构来描述各个基本进程段之间关系的方法 ,从而求出一个 Petri网的进程网系统 .

引用

页码：1308 / 1315

页数：8