ScalaPBSerializer
actor
Settings
PetriNetInstance
scalaPBType
ScalaPBSerializer
sequenceNr
InstanceState
serializeObject
AkkaObjectSerializer
serializer
PetriNetInstanceRecovery
settings
PetriNetInstance
state
Initialize
Initialized
InstanceState
step
PetriNetInstance
stopActorIfDone
QueuePushingActor
strategy
TransitionFailed
system
PetriNetInstanceRecovery