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 persistence

TransitionFailedEvent

EventSourcing

TransitionFailedLens

TransitionFailed

TransitionFired

PetriNetInstanceProtocol persistence

TransitionFiredEvent

EventSourcing

TransitionFiredLens

TransitionFired

TransitionNotEnabled

PetriNetInstanceProtocol

TransitionResult

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

EventSerializer

topology

PetriNetInstance PetriNetInstanceRecovery

transition

Job

transitionId

FireTransition TransitionFailed TransitionFired TransitionNotEnabled TransitionFailedEvent TransitionFiredEvent ExceptionState TransitionFailed TransitionFailedLens TransitionFired TransitionFiredLens