Research Article
Confusion Analysis and Detection for Workflow Nets
Table 1
Description of a business procedure in a WF-system.
| Business process | WF-system |
| Task | Transition | Condition | Place | Start condition | Marked source place | End condition | Marked sink place | Live task | Live transition in extended WF-system | Dead task | Dead transition in extended WF-system | Case | Path from to |
|
|