Research Article
Confusion Analysis and Detection for Workflow Nets
Algorithm 2
Detection of confusions by the ILP in WF-system
.
(1) Input: WF-system , , and . | (2) Output: The set of CICs and the set of CDCs. | (3) , , | (4) for each do | (5) Compute to obtain all minimal -invariants , and . | (6) Find in . | (7) , . | (8) Compute the value of following ILP: | | (9) if then | (10) . | (11) . | (12) else | (13) . | (14) end if | (15) end for | (16) for each do | (17) Compute to obtain all minimal -invariants , and . | (18) Compute the value of following ILP: | | (19) if then | (20) . | (21) . | (22) else | (23) . | (24) end if | (25) end for | (26) Output: and . |
|