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

2015年 4月 西安电子科技大学学报 (自然科学版) Apr．2015 第 42卷 第 2期 J0URNAL 0F XIDIAN UNIVERSITY Vo1．42 NO．2 doi：10．3969／j．issn．1001—2400．2015．02．013 工作流网的混或检测和预防策略 陈晓亮，蒋 忠远，叶剑 虹 (西安 电子科技大学 机 电工程学院，陕西 西安 710071) 摘要：独立的冲突和并发在基于Petri网的212作流建模 中分别起到进程选择控制和保持系统高效执行的 作用．但非独立 的冲突和并发会导致不完整和不确定的冲突行为使得系统的冲突行为分析变得 困难．这种 现象被称为混或并经常出现在工作流 网中．首先，将混或形式化为具有冲突和并发限制的一类特殊的标识 子网，通过分析子网特征提出混或检测算法．其次，构建 了基于广义互斥约束的混或预防监控器设计方 案．最后 ，用一个工作流 网实例对提 出算法进行仿真，仿真结果表 明，提 出的方法能够有效地在工作流 网 中检测和预防混或． 关键词 ：监督控制 ；Petri网；工作流系统；混或 中图分类号：TP311 文献标识码 ：A 文章编号 ：1001—24OO(2O15)O2—0077—07 Confusiondetectionandpreventionpoliciesforworkflow nets CHEN Xiaoliang，JIANG Zhongyuan，YE Jianhong (SchoolofMechano—electronicEngineering，XidianUniv．，Xi’an 710071，China) Abstract： Independentconflictsandconcurrency in themodeling ofworkflowsby using Petrinetsare appliedtothecontrolofoptionprocessesandtOkeepahigh—performanceoperationofsystems．However， dependentconflictsandconcurrencymayleadtotheincompleteandindeterminateconflictingbehaviorthat producesdifficultiesfortheanalysisofconflicts．Thephenomenoniscalledconfusionsthatusuallyappearin workflow nets．Inthispaper，confusionsareformalizedasaclassofmarkedsubnetswithspecialconflicting and concurrentrestrictionsinaPetrinet．Then．aconfusiondetectionalgorithm basedonconfusionfeatures isproposedandapolicyisdevelopedbyusinggeneralizedmutualexclusionconstraintstoproduceconfusion preventionsupervisors．Finally，experimentalresultsofaclassicalworkflow netbyusing theproposed algorithmsshow thatthedevelopedmethodscandetectandpreventconfusionsinworkflow nets． KeyWords： supervisorycontrols；Petrinets；workflow systems；confusions 在 Petri网模