Summaries

2

3

4

EPC

BusinessProcessModelNotation

notation

fine state automata

Petri nets and properties

Workflow nets

Soundness

S-systems

T-systems

Aux - P and NP problems

Free choice nets

EPC analysis

Workflow modules

BPMN analysis

Diagnosis for WF nets

Process mining