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