一类Petri网系统的活性

• 作者: 林贵献 焦莉 陆维明
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: Petri网 扩展非自控网 弱化非自控网 结构活性 结构有界性
• 年，卷（期）: 2002,（8）
• 所属期刊栏目: 短文
• 页码范围: 883-889
• 页数: 7页
• 分类号: TP301
• 字数: 6974字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.2002.08.014

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陆维明	中国科学院数学研究所	20	189	7.0	13.0
2	焦莉	中国科学院数学研究所	8	44	4.0	6.0
3	林贵献	中国科学院数学研究所	2	22	2.0	2.0