摘要
Petri网是一种用来研究具有异步、并发特征的离散事件系统的合适的工具 .当用 Petri网来模拟一个实际系统时 ,关心的问题之一就是要确定这个 Petri网模型是否具有一些所期望的特性 ,如活性、有界性等 .这些特性均是系统的重要动态行为 .该文基于文献 [1]给出了 Petri网的一子类 ,即弱化非自控网 (Weak Extended Non Self-Controlling Nets,简称 WENSe C网 ) ,该类网覆盖了扩展自由选择网和扩展非自控网 .文中提出并证明了 WENSe C网系统活性的充分必要条件满足死锁 -陷阱性质 ,同时对 WENSe C网的一子类 ,通过转化方法 ,证明了该类结构有界网的结构活判定算法可借用扩展非自控网的有关结果也是多项式时间算法 .
Petri Nets is a kind of useful tools for studying discrete event systems. While doing so, one of the most concerned questions is to decide whether the Petri Net Model holds the properties of liveness and boundedness.These properties are important dynamic behaviors of the systems. In the paper, Extended Non Self-Controlling Nets whose liveness satisfies deadlock-trap property, are given. In this paper, we present a more general subclass of Petri Nets, called Weak Extended Non Self-Controlling Nets, which includes Extended Free Choice Nets and Extended Non Self-Controlling Nets. Meanwhile, we prove that the liveness of Weak Extended Non Self-Controlling Nets preserves deadlock-trap property. Finally, a transforming method is given to decide whether a Petri net system is a Weak Extended Non Self-Controlling Net system.
出处
《计算机学报》
EI
CSCD
北大核心
2002年第8期883-889,共7页
Chinese Journal of Computers
基金
国家自然科学基金 ( 6 97730 16 )
国家重点基础研究专项经费( G19980 30 416 )
中国科学院管理
决策与信息系统实验室 ( MADIS)资助
关键词
PETRI网
活性
扩展非自控网
弱化非自控网
结构有界性
离散事件系统
Petri nets,extended non self-controlling nets,weak extended non self-controlling nets,structural liveness,structural boundedness
