|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Class Summary | |
---|---|
ConfigurableArc | Configures a PetrinetEdge to be present or absent in a Petrinet . |
ConfigurableArcWeight | Configurable arc to determine arc weights. |
ConfigurablePlace | Configures a Place to present or absent in a Petrinet . |
ConfigurablePlaceMarking | Configures the number of tokens on a Place on the initial marking of
a Petrinet . |
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. |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |