TIME_COMPLETED_FIELD_NUMBER
TransitionFired
TIME_FAILED_FIELD_NUMBER
TransitionFailed
TIME_STARTED_FIELD_NUMBER
TransitionFailed TransitionFired
TOKEN_DATA_FIELD_NUMBER
ProducedToken
TOKEN_ID_FIELD_NUMBER
ConsumedToken ProducedToken
TRANSITION_ID_FIELD_NUMBER
TransitionFailed TransitionFired
TokenGame
api
Transition
colored
TransitionBehaviour
dsl
TransitionDSL
dsl
TransitionEvent
EventSourcing
TransitionExceptionHandler
colored
TransitionExecutor
execution
TransitionFailed
messages
TransitionFailedEvent
EventSourcing
TransitionFailedLens
TransitionFailed
TransitionFired
messages
TransitionFiredEvent
EventSourcing
TransitionFiredLens
TransitionFired
TransitionFunction
colored
timeCompleted
TransitionFiredEvent TransitionFired TransitionFiredLens
timeFailed
TransitionFailedEvent TransitionFailed TransitionFailedLens
timeStarted
TransitionFailedEvent TransitionFiredEvent TransitionFailed TransitionFailedLens TransitionFired TransitionFiredLens
toColoredMarking
colored
toMarkedPlace
colored
toMarking
IterableToMarking MultiSetToMarking
toString
PlaceImpl
tokenData
ProducedToken ProducedTokenLens
tokenId
ConsumedToken ConsumedTokenLens ProducedToken ProducedTokenLens
tokenIdentifier
Serialization
transition
SequenceNet StateTransitionNet Job
transitionFunction
AsyncTransitionExecutor
transitionId
TransitionEvent TransitionFailedEvent TransitionFiredEvent TransitionFailed TransitionFailedLens TransitionFired TransitionFiredLens
transitionIdentifier
colored
transitionLabeler
colored
transitionToNode
api
transitions
PetriNet PetriNetGraphAdditions ScalaGraphPetriNet colored