CONSUMED_FIELD_NUMBER
TransitionFailed
TransitionFired
CORRELATION_ID_FIELD_NUMBER
TransitionFailed
TransitionFired
COUNT_FIELD_NUMBER
ConsumedToken
ProducedToken
ColoredPetriNet
colored
ConsumedToken
messages
ConsumedTokenLens
ConsumedToken
clearConsumed
TransitionFailed
TransitionFired
clearCorrelationId
TransitionFailed
TransitionFired
clearCount
ConsumedToken
ProducedToken
clearData
SerializedData
TransitionFired
clearFailureReason
TransitionFailed
clearFailureStrategy
TransitionFailed
clearInitialMarking
Initialized
clearInitialState
Initialized
clearInputData
TransitionFailed
clearJobId
TransitionFailed
TransitionFired
clearManifest
SerializedData
clearPlaceId
ConsumedToken
ProducedToken
clearProduced
TransitionFired
clearRetryDelay
FailureStrategy
clearSerializerId
SerializedData
clearStrategyType
FailureStrategy
clearTimeCompleted
TransitionFired
clearTimeFailed
TransitionFailed
clearTimeStarted
TransitionFailed
TransitionFired
clearTokenData
ProducedToken
clearTokenId
ConsumedToken
ProducedToken
clearTransitionId
TransitionFailed
TransitionFired
coldTransitions
PetriNetAnalysis
colored
dsl
companion
ConsumedToken
FailureStrategy
StrategyType
Initialized
ProducedToken
SerializedData
TransitionFailed
TransitionFired
constantTransition
StateTransitionNet
consumableMarkings
TokenGame
consumableTokens
TokenGame
consume
TransitionFailedEvent
Job
consumed
TransitionFiredEvent
TransitionFailed
TransitionFailedLens
TransitionFired
TransitionFiredLens
contains
HMap
correlationId
TransitionFailed
TransitionFailedLens
TransitionFired
TransitionFiredLens
count
ConsumedToken
ConsumedTokenLens
ProducedToken
ProducedTokenLens
createJob
JobPicker
createPetriNet
colored
simple