可分解非对称选择网的活性和有界性

• 作者: 徐静 陆维明
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: Petri网 非对称选择网 可分解非对称选择网 活性 有界性
• 年，卷（期）: 2002,（11）
• 页码范围: 2142-2148
• 页数: 7页
• 分类号: TP301
• 字数: 5765字
• 语种: 中文

摘要

活性和有界性是网系统的重要行为特性.从分解以及尽可能简单分解的角度得到了非对称选择网的一个子类,可分解非对称选择网(简称DAC网),证明了DAC网系统活性的充分必要条件,同时给出了DAC网系统活性有界性的充分必要条件,也进一步讨论了判定一个Petri网系统是否是活的有界的DAC网系统的多项式算法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陆维明	中国科学院数学与系统科学研究院	20	189	7.0	13.0
2	徐静	中国科学院数学与系统科学研究院	29	244	9.0	15.0