林贵献
- 作品数：3 被引量：14H指数：2
- 供职机构：中国科学院数学与系统科学研究院数学研究所更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 关于Petri网活性和家态的研究
- 该文利用三种不同方法对Petri网行为特征,包括活性,有界性和家态,进行深入的研究,得到了一些新的,具有理论与实际应用价值的结果.这三种方法是：1.展开方法;2.限制子类的研究方法;3.组合方法.第一种方法,即展开方法,...
- 林贵献
- 关键词：PETRI网活性有界性
- 文献传递
- 可分解非对称选择网的活性和家态被引量：4
- 2002年
- 徐静等曾给出了非对称选择网 (Asym metric Choice Nets,AC网 )的一子类 ,即可分解非对称选择网 (De-composable Asym metric Choice Nets,DAC网 ) ,证明其结构活结构有界的充分必要条件满足死锁 -陷阱性质 .该文与之不同 ,给出了一种合成方法 ,证明合成后的 DAC网保持了子网的性质 ,如活性、有界性和家态 (Home State) .同时充分利用子网的性质给出了判定此类合成 DAC网结构活和结构有界的有多项式时间算法 .最后 ,给出一类更一般的组合网 ,该组合网保持了子网的活性 .
- 林贵献陆维明
- 关键词：非对称选择网活性有界性PETRI网
- 一类Petri网系统的活性被引量：9
- 2002年
- Petri网是一种用来研究具有异步、并发特征的离散事件系统的合适的工具 .当用 Petri网来模拟一个实际系统时 ,关心的问题之一就是要确定这个 Petri网模型是否具有一些所期望的特性 ,如活性、有界性等 .这些特性均是系统的重要动态行为 .该文基于文献 [1]给出了 Petri网的一子类 ,即弱化非自控网 (Weak Extended Non Self-Controlling Nets,简称 WENSe C网 ) ,该类网覆盖了扩展自由选择网和扩展非自控网 .文中提出并证明了 WENSe C网系统活性的充分必要条件满足死锁 -陷阱性质 ,同时对 WENSe C网的一子类 ,通过转化方法 ,证明了该类结构有界网的结构活判定算法可借用扩展非自控网的有关结果也是多项式时间算法 .
- 林贵献陆维明焦莉
- 关键词：PETRI网活性离散事件系统
