| Class | Description |
|---|---|
| BPMNSimulator |
this is a simple Simulator for BPMN used for checking soundness of
BPMN-diagrams.
|
| ProcessState | |
| ReachabilityGraph | |
| ReachabilityGraphEdge | |
| ReachabilityGraphNode | |
| SoundnessChecker |
| Enum | Description |
|---|---|
| SoundnessChecker.SplitOrJoinType |
| Exception | Description |
|---|---|
| StateSpaceException |