xoEPC - Jan Mendling

vi List of Figures
3.13 Transition relation for wait context propagation . . . . . . . . . . . . . . 72
3.14 Situation of unstable context changes without two phases . . . . . . . . . 73
3.15 Propagating dead context in a loop . . . . . . . . . . . . . . . . . . . . . 74
3.16 Transition Relation for Negative Token Propagation . . . . . . . . . . . . 75
3.17 Transition Relation for Positive Token Propagation . . . . . . . . . . . . 77
3.18 A structured EPC with a negative token on the negative upper corona of
OR-join c5 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
3.19 Initial and final marking of an EPC . . . . . . . . . . . . . . . . . . . . . 80
3.20 Calculating the reachability graph in ProM . . . . . . . . . . . . . . . . . 92
3.21 A Petri net that is bisimilar to the Loan Request EPC . . . . . . . . . . . 94
3.22 A visualization of the state space of the Loan Request Petri net . . . . . . 95
3.23 Another visualization of the Loan Request state space . . . . . . . . . . . 95
3.24 Visualization of the Petri net and the state space in DiaGraphica . . . . . 96
3.25 Clustering of places for the same state space in DiaGraphica . . . . . . . 96
4.1 A relaxed sound EPC with structural problems . . . . . . . . . . . . . . . 103
4.2 Relations between different Petri net-properties (see [DZ05, p.389]) . . . 105
4.3 The second refinement example EPC in Visio . . . . . . . . . . . . . . . 111
4.4 The second refinement example EPC loaded in ProM . . . . . . . . . . . 111
4.5 Feedback about EPC soundness . . . . . . . . . . . . . . . . . . . . . . 111
4.6 Transition System of the second refinement example EPC . . . . . . . . . 113
4.7 Six reduction rules to preserve liveness, safeness, and boundedness [Mur89]115
4.8 Six reduction rules of [DAV05] . . . . . . . . . . . . . . . . . . . . . . . 116
4.9 Unclean and deadlocking EPC . . . . . . . . . . . . . . . . . . . . . . . 117
4.10 Overview of patterns that are addressed by EPC reduction rules . . . . . . 119
4.11 Reduction producing arcs that already exist . . . . . . . . . . . . . . . . 120
4.12 Reduction of trivial constructs . . . . . . . . . . . . . . . . . . . . . . . 120
4.13 Reduction of structured blocks . . . . . . . . . . . . . . . . . . . . . . . 122
4.14 Reduction of structured loops . . . . . . . . . . . . . . . . . . . . . . . . 123