Petri网的进程网系统

摘要：

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

关键词：Petri网、进程网系统、基本进程段、可重复向量、受控可重复向量、特征可达树

所属期刊栏目：25

分类号：TP393(计算技术、计算机技术)

资助基金：国家自然科学基金60173053,69873029

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：1308-1315