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

Confusion detection and prevention policies for workflow nets

作　　者：陈晓亮[1] 蒋忠远[1] 叶剑虹[1] 

机构地区：[1]西安电子科技大学机电工程学院,陕西西安710071

出　　处：《西安电子科技大学学报》2015年第2期77-83,共7页Journal of Xidian University

基　　金：国家自然科学基金资助项目(61074035);国家自然科学基金青年科学基金资助项目(61304051);教育部高等学校博士点基金资助项目(20090203110009)

摘　　要：独立的冲突和并发在基于Petri网的工作流建模中分别起到进程选择控制和保持系统高效执行的作用.但非独立的冲突和并发会导致不完整和不确定的冲突行为使得系统的冲突行为分析变得困难.这种现象被称为混或并经常出现在工作流网中.首先,将混或形式化为具有冲突和并发限制的一类特殊的标识子网,通过分析子网特征提出混或检测算法.其次,构建了基于广义互斥约束的混或预防监控器设计方案.最后,用一个工作流网实例对提出算法进行仿真,仿真结果表明,提出的方法能够有效地在工作流网中检测和预防混或.Independent conflicts and concurrency in the modeling of workflows by using Petri nets are applied to the control of option processes and to keep a high-performance operation of systems. However, dependent conflicts and concurrency may lead to the incomplete and indeterminate conflicting behavior that produces difficulties for the analysis of conflicts. The phenomenon is called confusions that usually appear in workflow nets. In this paper, confusions are formalized as a class of marked subnets with special conflicting and concurrent restrictions in a Petri net. Then, a confusion detection algorithm based on confusion features is proposed and a policy is developed by using generalized mutual exclusion constraints to produce confusion prevention supervisors. Finally, experimental results of a classical workflow net by using the proposed algorithms show that the developed methods can detect and prevent confusions in workflow nets.

关 键 词：监督控制 PETRI网 工作流系统 混或 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]