首页 | 本学科首页   官方微博 | 高级检索  
     

一类Petri网系统的活性
引用本文:林贵献,陆维明,焦莉.一类Petri网系统的活性[J].计算机学报,2002,25(8):883-889.
作者姓名:林贵献  陆维明  焦莉
作者单位:中国科学院数学研究所,北京,100080
基金项目:国家自然科学基金 ( 6 97730 16 ),国家重点基础研究专项经费( G19980 30 416 ),中国科学院管理、决策与信息系统实验室 ( MADIS)资助
摘    要:Petri网是一种用来研究具有异步、并发特征的离散事件系统的合适的工具,当用Petri网来模拟一个实际系统时,关心的问题之一就是要确定这个Petri网模型是否具有一些所期望的特生,如活性、有界性等,这些特性均是系统的重要动态行为,该文基于文献1]给出了Petri网的一子类,即弱化非自控网(Weak Extended Non SelfControlling Nets,简称WENSeC网),该类网覆盖了扩展自由选择网和扩展非自控网,文中提出了并证明了WENSeC网系统活性的的充分必要条件满足死锁-陷阱性质,同时对WENSeC网的一子类,通过转化方法,证明了该类结构有界网的结构活判定算法可借用扩非自控网的有关结果也是多项式时间算法。

关 键 词:Petri网  活性  扩展非自控网  弱化非自控网  结构有界性  离散事件系统
修稿时间:2001年5月25日

Liveness of Weak Extended Non Self-Controlling Nets
LIN Gui-Xian LU Wei-Ming JIAO Li.Liveness of Weak Extended Non Self-Controlling Nets[J].Chinese Journal of Computers,2002,25(8):883-889.
Authors:LIN Gui-Xian LU Wei-Ming JIAO Li
Abstract: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.
Keywords:Petri nets  extended non self-controlling nets  weak extended non self-controlling nets  structural liveness  structural boundedness  
本文献已被 CNKI 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号