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

TransitionEvent

EventSourcing

TransitionFailed

PetriNetInstanceProtocol messages

TransitionFailedEvent

EventSourcing

TransitionFailedLens

TransitionFailed

TransitionFired

PetriNetInstanceProtocol messages

TransitionFiredEvent

EventSourcing

TransitionFiredLens

TransitionFired

TransitionNotEnabled

PetriNetInstanceProtocol

TransitionResponse

PetriNetInstanceProtocol

takeWhileInclusive

IteratorExtension

takeWhileNotFailed

PetriNetInstanceInteractions

timeCompleted

TransitionFiredEvent TransitionFired TransitionFiredLens

timeFailed

TransitionFailedEvent TransitionFailed TransitionFailedLens

timeStarted

TransitionFailedEvent TransitionFiredEvent TransitionFailed TransitionFailedLens TransitionFired TransitionFiredLens

toBinary

ScalaPBSerializer

tokenData

ProducedToken ProducedTokenLens

tokenId

ConsumedToken ConsumedTokenLens ProducedToken ProducedTokenLens

tokenIdentifier

Serialization

topology

PetriNetInstance PetriNetInstanceRecovery

transition

Job

transitionId

FireTransition TransitionFailed TransitionFired TransitionNotEnabled TransitionFailedEvent TransitionFiredEvent ExceptionState TransitionFailed TransitionFailedLens TransitionFired TransitionFiredLens