一类Petri网系统的活性

作     者：林贵献 陆维明 焦莉 

作者机构：中国科学院数学研究所北京100080 

出 版 物：《计算机学报》 (Chinese Journal of Computers)

年 卷 期：2002年第25卷第8期

页      面：883-889页

核心收录：

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

基　　金：国家自然科学基金 ( 6 97730 16 ) 国家重点基础研究专项经费( G19980 30 416 ) 中国科学院管理 决策与信息系统实验室 ( MADIS)资助 

主　　题：Petri网 活性 扩展非自控网 弱化非自控网 结构有界性 离散事件系统 

摘      要：Petri网是一种用来研究具有异步、并发特征的离散事件系统的合适的工具 .当用 Petri网来模拟一个实际系统时 ,关心的问题之一就是要确定这个 Petri网模型是否具有一些所期望的特性 ,如活性、有界性等 .这些特性均是系统的重要动态行为 .该文基于文献 [1]给出了 Petri网的一子类 ,即弱化非自控网 (Weak Extended Non Self-Controlling Nets,简称 WENSe C网 ) ,该类网覆盖了扩展自由选择网和扩展非自控网 .文中提出并证明了 WENSe C网系统活性的充分必要条件满足死锁 -陷阱性质 ,同时对 WENSe C网的一子类 ,通过转化方法 ,证明了该类结构有界网的结构活判定算法可借用扩展非自控网的有关结果也是多项式时间算法 .