基于进程网系统的Petri网性质分析

作     者：曾庆田 吴哲辉 马炳先 ZENG Qing tian 1,2 ,WU Zhe hui 1,MA Bing xian 1,2 (1.College of Info Science and Engg,SUST,Taian 271019,China;2.Institute of Computing Technology,CAS,Beijing 100080,China)

作者机构：山东科技大学信息科学与工程学院 

出 版 物：《山东科技大学学报（自然科学版）》 (Journal of Shandong University of Science and Technology(Natural Science))

年 卷 期：2003年第22卷第2期

页      面：11-15页

学科分类：12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 081104[工学-模式识别与智能系统] 08[工学] 0835[工学-软件工程] 0811[工学-控制科学与工程] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

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

主　　题：Petri网 进程网系统 性质分析 进程行为 进程段 初始标识 网结构 

摘      要：Petri网的进程网系统是为了描述Petri网特别是无界Petri网的进程行为而提出的一个重要概念。一个Petri网的进程网系统是以其基本进程段的集合为新的变迁集 ,以各个基本进程段集的输入和输出库所集的并集为新的库所集 ,以原网系统的初始标识为初始标识而得到的一个新的网系统。本文在借助进程网系统的概念 ,讨论了一个Petri网同它的进程网系统在可达性、有界性、公平性、活性等方面的对应关系。