FireTransition

PetriNetInstanceProtocol

failureCount

ExceptionState

failureReason

ExceptionState

failureStrategy

ExceptionState

fireTransition

PetriNetInstanceApi

fromBinary

ScalaPBSerializer