SERIALIZER_ID_FIELD_NUMBER
SerializedData
STRATEGY_TYPE_FIELD_NUMBER
FailureStrategy
ScalaGraphPetriNet
api
SequenceNet
colored
SerializedData
common
SerializedDataLens
SerializedData
SerializedObject
serialization
SimpleMarking
simple
StateTransition
colored
StateTransitionNet
colored
StrategyType
FailureStrategy
seq
simple
sequence
SequenceNet
sequenceNr
Instance
serialization
baker
serializeEvent
ProtobufSerialization
serializeObject
ProtobufSerialization
ObjectSerializer
serializedSize
ConsumedToken
FailureStrategy
Initialized
ProducedToken
TransitionFailed
TransitionFired
SerializedData
serializerId
SerializedObject
SerializedData
SerializedDataLens
setMultiplicity
MultiSetFunctions
sha256
ProtobufSerialization
simple
dsl
state
InitializedEvent
Instance
stateTransition
StateTransitionNet
strategyType
FailureStrategy
FailureStrategyLens