CAJ | 학술논문

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