Response

PetriNetInstanceProtocol

reason

TransitionFailed TransitionNotEnabled

receiveCommand

PetriNetInstance

receiveRecover

PetriNetInstanceRecovery

rejectReason

LogFireTransitionRejected

requireUniqueElements

api

result

TransitionFired

running

PetriNetInstance