Workflow Nets

(option to complete)

- It should not be possible to complete a case improperly

(proper completion), where improper completion means

that there is still work in progress after completion of

the case

- For every task, there should be an execution of the

workflow that executes it (no dead tasks).