甄强
- 作品数：4 被引量：29H指数：4
- 供职机构：中国科学院数学与系统科学研究院数学研究所更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术理学自然科学总论更多>>
- Petri网系统活性的研究被引量：15
- 1999年
- 随着Petri网在平行计算、通讯系统、计算机集成制造系统等领域的广泛应用,在以Petri网为实际系统建立模型之后,人们很关心模型系统各种性质与行为,其中,活性是最关心的性质之一。我们知道Petri网系统是动态系统的静态描述,从它可以很容易得到系统的状态转换图,一般称Petri网系统的可达图(系统无界时,得覆盖图)。实质上,可达图是动态系统的动态描述;系统有多少种不同状态(不考虑系统无界时),可达图就有多少个结点;结点间由有向弧连结。
- 陆维明甄强
- 关键词：PETRI网系统活性可达图动态系统
- 论非对称选择网的活性被引量：10
- 1998年
- 本文给出了非对称选择网ＡＣ网（ａｓｙｍｍｅｔｒｉｃｃｈｏｉｃｅｎｅｔｓ）活性单调性的充分必要条件。
- 甄强陆维明
- 关键词：非对称选择网活性PETRI网
- 论加权扩充自由选择网的活性与安全性(英文)被引量：5
- 2000年
- 活性与安全性是网系统重要的行为性质 .对于位置 /变迁网系统的一些子类 ,人们已为之导出许多有意义的结果 .该文贡献在于为一种称为加权扩充自由选择网的网系统子类找到活性与安全性的一般性质 .文章先给出其活性等价条件的简要与直观的证明 ,随后 。
- 甄强陆维明
- 关键词：活性安全性
- 论非对称选择网的活性与安全性(英文)被引量：14
- 2000年
- 活性与安全性是网系统的重要行为特性 .该文的贡献在于为非对称选择网导出其活性与安全性的一般性质 .文章讨论了活性具有单调性的非对称选择网活性与安全性的条件 ,并给出一个多项式时间算法来判定一个给定的非对称选择网是否是活的、安全的与活性满足单调性 .文章还讨论了非对称选择网的两个子类 (强化 I型与强化 II型 ) ,并给出活性满足单调性时其 (结构 )活与 (结构 )
- 甄强陆维明
- 关键词：非对称选择网活性安全性
