Next: , Previous: Petri Net Patterns, Up: Top



5 Petri Net related Functions

Currently implemented Petri net-specific functions:

5.1 Structural Simplification

These structural reduction rules are implemented in the command-line option --simplify, see Invoking BPEL2oWFN).

5.2 Abstractions

5.3 Markings

The following places are initially marked to ensure a deadlock-free model of processes with “reasonable” control-flow (e.g. with an acyclic link structure):

All interleavings should end in a livelock-marking which covers 1.internal.final and in which only transition 1.internal.finishloop can fire. All livelock-markings differ in the marking of the state places of the process and its child scopes.

Deadlocks indicate modeling mistakes (e.g. a cyclic link structure). Non-1-safe markings indicate the usage of an unsupported feature of the Petri net semantics (e.g. instantiation, see Limitations of the semantics).