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
runtime
Transition
colored simple
TransitionAdjacency
simple
TransitionBehaviour
colored
TransitionDSL
colored
TransitionEvent
EventSourcing
TransitionExceptionHandler
runtime
TransitionFailed
messages
TransitionFailedEvent
EventSourcing
TransitionFailedLens
TransitionFailed
TransitionFired
messages
TransitionFiredEvent
EventSourcing
TransitionFiredLens
TransitionFired
TransitionTask
runtime
TransitionTaskProvider
runtime
taskProvider
PetriNetRuntime
timeCompleted
TransitionFiredEvent TransitionFired TransitionFiredLens
timeFailed
TransitionFailedEvent TransitionFailed TransitionFailedLens
timeStarted
TransitionFailedEvent TransitionFiredEvent TransitionFailed TransitionFailedLens TransitionFired TransitionFiredLens
toMarkedPlace
MarkingOps
toMarking
MarkingOps IterableToMarking MultiSetToMarking
toSimpleMarking1
simple
toSimpleMarking2
simple
toSimpleMarking3
simple
toSimpleMarkingSeq
simple
toString
ConsumedToken FailureStrategy Initialized ProducedToken SerializedData TransitionFailed TransitionFired
tokenData
ProducedToken ProducedTokenLens
tokenGame
PetriNetRuntime
tokenId
ConsumedToken ConsumedTokenLens ProducedToken ProducedTokenLens
tokenIdentifier
ProtobufSerialization
transformSerializedData
ProtobufSerialization
transformSerializedObject
ProtobufSerialization
transition
SequenceNet TransitionEvent TransitionFailedEvent TransitionFiredEvent Job
transitionId
TransitionFailed TransitionFailedLens TransitionFired TransitionFiredLens
transitionIdentifier
colored simple
transitionToNode
api
transitions
PetriNet PetriNetGraphAdditions ScalaGraphPetriNet
tree
simple