新扩展强化非对称选择网的有界性与单调性

• 作者: 伊良忠 宋文 牟行军
• 来源期刊: 西南交通大学学报
• 学科: 工学
• 关键词: 非对称选择网(AC网) 结构活 活性单调性 结构有界
• 年，卷（期）: 2004,（5）
• 页码范围: 656-659
• 页数: 4页
• 分类号: TP301
• 字数: 3183字
• 语种: 中文
• DOI: 10.3969/j.issn.0258-2724.2004.05.023

摘要

根据Petri网结构理论,讨论非对称选择网(AC)的一个子类:新扩展强化非对称选择网(NESAC)的有界性与活性单调性.判定NESAC网N结构有界的充分必要条件是,N被极小死锁簇覆盖,每个非空极小死锁H-定是个陷阱且满足|t*∩H|=|t*∩H|=1.NESAC网仍然具有ESAC活性单调性的特征.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	宋文	西华大学计算机与数理学院	35	113	6.0	9.0
2	伊良忠	西华大学计算机与数理学院	10	79	4.0	8.0
3	牟行军	西华大学计算机与数理学院	8	28	4.0	5.0