Research Article

Confusion Analysis and Detection for Workflow Nets

Table 1

Description of a business procedure in a WF-system.

Business processWF-system

TaskTransition
ConditionPlace
Start conditionMarked source place
End conditionMarked sink place
Live taskLive transition in extended WF-system
Dead taskDead transition in extended WF-system
CasePath from to