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