国家重点基础研究发展计划(G1998030416)
- 作品数：8 被引量：26H指数：4
- 相关作者：陆维明焦莉林贵献徐静蒲飞更多>>
- 相关机构：中国科学院数学与系统科学研究院西华大学更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划四川省应用基础研究计划项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 可分解非对称选择网的活性和家态被引量：4
- 2002年
- 徐静等曾给出了非对称选择网 (Asym metric Choice Nets,AC网 )的一子类 ,即可分解非对称选择网 (De-composable Asym metric Choice Nets,DAC网 ) ,证明其结构活结构有界的充分必要条件满足死锁 -陷阱性质 .该文与之不同 ,给出了一种合成方法 ,证明合成后的 DAC网保持了子网的性质 ,如活性、有界性和家态 (Home State) .同时充分利用子网的性质给出了判定此类合成 DAC网结构活和结构有界的有多项式时间算法 .最后 ,给出一类更一般的组合网 ,该组合网保持了子网的活性 .
- 林贵献陆维明
- 关键词：非对称选择网活性有界性PETRI网
- 关于ESAC网活性和有界性的一个多项式算法被引量：3
- 2002年
- 寻找实际可行的多项式算法一直是Petri网应用的重要方面.给出了关于扩展强化非对称选择网(extended strong asymmetric choice nets,简称ESAC网)结构活和结构有界的一个判定算法.该算法可简单、有效地测试结构活结构有界的ESAC网的初始标识是否是活标识.ESAC网覆盖了自由选择网,因此,该算法应用范围较为广泛.
- 焦莉陆维明
- 关键词：活性有界性多项式算法PETRI网
- 扩展强化非对称选择网的活性和有界性被引量：4
- 2001年
- 给出了一类非对称选择网 (asymmetric choice net,简称 AC网 ) ,扩展了强化非对称选择网结构活的充分必要条件 ,证明了扩展强化非对称选择网如果是结构活的 ,其标识的活性是可判定的 .同时也证明了扩展强化非对称选择网活性的单调性 ,并给出其结构活和结构有界的充分必要条件 .
- 焦莉陆维明
- 关键词：非对称选择网活性有界性离散事件系统PETRI网
- Petri网系统合成操作的活性保持性研究被引量：2
- 2003年
- 合成操作是Petri网系统建模中一种重要的自底向上建模方法,而在Petri网系统的合成过程中,保性性质是一个重要的研究问题。本文综述了我们对Petri网系统两种合成操作(共享合成、同步合成)活性保持性的研究工作。与以往研究不同,侧重从并发语言的角度讨论。定义了相应合成操作的路径并发合成运算,以此建立两种合成操作Petri网系统的并发语言关系式。这些语言关系式可用于判定相应合成操作Petri网系统的活性与无死锁性,同时给出合成的Petri网系统活性与无死锁性的充要条件。最后分别给出条件使得合成的Petri网系统有活性保持性质。
- 蒲飞陆维明
- 关键词：并发语言递归
- 一类Petri网系统的活性被引量：9
- 2002年
- Petri网是一种用来研究具有异步、并发特征的离散事件系统的合适的工具 .当用 Petri网来模拟一个实际系统时 ,关心的问题之一就是要确定这个 Petri网模型是否具有一些所期望的特性 ,如活性、有界性等 .这些特性均是系统的重要动态行为 .该文基于文献 [1]给出了 Petri网的一子类 ,即弱化非自控网 (Weak Extended Non Self-Controlling Nets,简称 WENSe C网 ) ,该类网覆盖了扩展自由选择网和扩展非自控网 .文中提出并证明了 WENSe C网系统活性的充分必要条件满足死锁 -陷阱性质 ,同时对 WENSe C网的一子类 ,通过转化方法 ,证明了该类结构有界网的结构活判定算法可借用扩展非自控网的有关结果也是多项式时间算法 .
- 林贵献陆维明焦莉
- 关键词：PETRI网活性离散事件系统
- 可分解非对称选择网的活性和有界性被引量：5
- 2002年
- 活性和有界性是网系统的重要行为特性.从分解以及尽可能简单分解的角度得到了非对称选择网的一个子类,可分解非对称选择网(简称DAC网),证明了DAC网系统活性的充分必要条件,同时给出了DAC网系统活性有界性的充分必要条件,也进一步讨论了判定一个Petri网系统是否是活的有界的DAC网系统的多项式算法.
- 徐静陆维明
- 关键词：PETRI网非对称选择网活性有界性
- 判定非对称选择网活性及活性单调性的一个算法被引量：1
- 2005年
- 活性是 Petri网的重要行为特征之一。为了得到判定 AC网活性有效的算法,本文利用分治的思想,在定义极小死锁的前、后归约子网的基础上,将较大问题分而治之,把未知问题转化为已知的FC网上的问题,从而得到了判定AC网活性及活性单调性的多项式时间的算法。
- 宋文陆维明
- 关键词：非对称选择网活性PETRI网
- 加权非对称选择网活性和有界性分析被引量：3
- 2001年
- 给出了 Petri网系统的一个重要子类 ,即加权非对称选择网 (weighted asymmetric choice net,简称 WAC网 )系统活性的一个充分条件和一个必要条件 ;同时 ,提出了活的有界的 WAC网系统的判定条件 ,进而给出了WAC网活性满足单调性的充分必要条件 .
- 焦莉陆维明
- 关键词：PETRI网活性有界性
