ColoredPetriNet
colored
Continue
ExceptionStrategy
calculateCoverabilityTree
PetriNetAnalysis
children
Node
colored
dsl
com
root
constantTransition
StateTransitionNet
consumableMarkings
TokenGame
consumableTokens
TokenGame
consume
TransitionFailedEvent
Job
consumed
TransitionFiredEvent
contains
HMap
copyOff
MultiSet
createJob
JobPicker
createPetriNet
colored
simple