SERIALIZER_ID_FIELD_NUMBER
SerializedData
STRATEGY_TYPE_FIELD_NUMBER
FailureStrategy
ScalaGraphPetriNet
api
SequenceNet
dsl
Serialization
persistence
SerializedData
messages
SerializedDataLens
SerializedData
SerializedObject
persistence
StateTransitionNet
dsl
StrategyType
FailureStrategy
sequence
Uncolored
SequenceNet
sequenceNr
Instance
serializeEvent
Serialization
serializeObject
ObjectSerializer
Serialization
serializedSize
ConsumedToken
FailureStrategy
Initialized
ProducedToken
SerializedData
TransitionFailed
TransitionFired
serializerId
SerializedObject
SerializedData
SerializedDataLens
setMultiplicity
MultiSetOps
state
InitializedEvent
Instance
strategyType
FailureStrategy
FailureStrategyLens