Petri网的活性与安全性的理论研究

• 作者: 宋文 牟行军
• 来源期刊: 西华大学学报（自然科学版）
• 学科: 工学
• 关键词: Petri网 非对称选择网 活性 安全性 算法
• 年，卷（期）: 2006,（3）
• 所属期刊栏目: 软件理论与技术
• 页码范围: 86-89
• 页数: 4页
• 分类号: TP393.01
• 字数: 4199字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-159X.2006.03.030

摘要

针对Petri网的子类的活性和安全性,对AC网的子类,扩展的强化非对称选择网(ESAC)进行了再一次扩张,定义了新扩展的强化非对称选择网(NESAC).通过对NESAC的活性与安全性的讨论,得到了非对称选择网(AC)的一个大类的某些性质判定;进而讨论了AC网的活性和安全性,得到了一个有效的算法.该课题研究了网的合成的一些基本性质,从理论上讨论了AC网的活性特征.

作者信息

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