加权非对称选择网活性和有界性分析

• 作者: 焦莉 陆维明
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: Petri网 加权非对称选择网(WAC网) 活性 有界性 活性单调性
• 年，卷（期）: 2001,（12）
• 页码范围: 1843-1850
• 页数: 8页
• 分类号: TP301
• 字数: 6706字
• 语种: 中文

摘要

给出了Petri网系统的一个重要子类,即加权非对称选择网(weighted asymmetric choice net,简称WAC网)系统活性的一个充分条件和一个必要条件;同时,提出了活的有界的WAC网系统的判定条件,进而给出了WAC网活性满足单调性的充分必要条件.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陆维明	中国科学院数学与系统科学研究院数学研究所	20	189	7.0	13.0
2	焦莉	中国科学院数学与系统科学研究院数学研究所	8	44	4.0	6.0