Class | Description |
---|---|
ReplayAutomaton |
Automaton of the behavior reflected in the replays of the petri net.
|
ReplayAutomatonArc |
Arc of the Replay Automaton.
|
ReplayAutomatonNode |
Node of the Replay Automaton.
|
Enum | Description |
---|---|
ReplayAutomatonArc.ArcType |