基于Petri网的混惑检测

• 作者: 宋文 杨义先 赵明峰
• 来源期刊: 计算机研究与发展
• 学科: 工学
• 关键词: Petri网 工作流网 混惑 结构混惑 检测
• 年，卷（期）: 2008,（10）
• 所属期刊栏目: 可信计算
• 页码范围: 1631-1637
• 页数: 7页
• 分类号: TP301.6
• 字数: 5923字
• 语种: 中文

摘要

在Petri网中,并发和冲突是两个重要的概念,并发和冲突现象混淆的系统特征称之为混惑,当系统存在混惑时获取一个正确的执行以及分析系统性质较为困难,因而存在混惑的系统不是一个好的模型.网论认为并不是并发和冲突相结合带来了麻烦,而是它们相结合导致的混惑带来了麻烦.所以,对一般Petri网模型混惑的检测及可能影响混惑的子网结构研究显得非常必要.在基本网系统下,以混惑的定义为基础,提出了结构混惑的定义,在此基础上定义了3类基本结构混惑,证明了这3类可构成结构混惑的最小完全集,给出检测结构混惑的算法和混惑的检测方法,并将该算法和方法应用到工作流网中,以实例定性分析了结构混惑与混惑的区别和联系以及对合理性的影响.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨义先	北京邮电大学灾备技术国家工程实验室	629	8372	39.0	65.0
2	宋文	西华大学数学与计算机学院	35	113	6.0	9.0
3	赵明峰	电子科技大学计算机科学与工程学院	4	45	2.0	4.0