工作流网的混或检测和预防策略

• 作者: 叶剑虹 蒋忠远 陈晓亮
• 来源期刊: 西安电子科技大学学报（自然科学版）
• 学科: 工学
• 关键词: 监督控制 Petri网 工作流系统 混或
• 年，卷（期）: 2015,（2）
• 页码范围: 77-83
• 页数: 7页
• 分类号: TP311
• 字数: 6003字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-2400.2015.02.013

摘要

独立的冲突和并发在基于Petri网的工作流建模中分别起到进程选择控制和保持系统高效执行的作用。但非独立的冲突和并发会导致不完整和不确定的冲突行为使得系统的冲突行为分析变得困难。这种现象被称为混或并经常出现在工作流网中。首先，将混或形式化为具有冲突和并发限制的一类特殊的标识子网，通过分析子网特征提出混或检测算法。其次，构建了基于广义互斥约束的混或预防监控器设计方案。最后，用一个工作流网实例对提出算法进行仿真，仿真结果表明，提出的方法能够有效地在工作流网中检测和预防混或。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	叶剑虹	西安电子科技大学机电工程学院	3	18	3.0	3.0
2	陈晓亮	西安电子科技大学机电工程学院	1	5	1.0	1.0
3	蒋忠远	西安电子科技大学机电工程学院	2	8	2.0	2.0