文献类型：期刊文章

作　　者：曾庆田[1,2] 吴哲辉[3]

机构地区：[1]中国科学院计算技术研究所智能开放实验室 [2]山东科技大学计算机科学与技术系泰安271019 [3]山东科技大学计算机科学与技术系

出　　处：《计算机学报》

基　　金：国家自然科学基金 ( 6 0 1730 5 3;6 98730 2 9)资助

年　　份：2002

卷　　号：25

期　　号：12

起止页码：1308-1315

语　　种：中文

收录情况：BDHX、BDHX2000、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI(收录号：2003227490270)、IC、INSPEC、JST、MR、RCCSE、SCOPUS、ZGKJHX、核心刊

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

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

分 类 号：TP393]