Class | Description |
---|---|
ConfigurableArc |
Configures a
PetrinetEdge to be present or absent in a Petrinet . |
ConfigurableArcWeight |
Configurable arc to determine arc weights.
|
ConfigurablePlace | |
ConfigurablePlaceMarking | |
ConfigurableTransition |
Configure a transition to be allowed, blocked, or skipped (see
ConfigurableGraphElementOption ). |
ParameterizedArc |
Configurable arc to determine arc weights based on an expression.
|
ParameterizedPlaceMarking |
Configures the number of tokens on a
Place in the initial marking
based on an expression. |