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 --parameter=simplify, see Invoking BPEL2oWFN). To acheive a better reduction, combine the parameter with --parameter=novarialbles.

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):