MANIFEST_FIELD_NUMBER

SerializedData

MarkedPlace

colored

Marking

colored

MarkingAdditions

colored

MarkingData

Marking

MultiSet

multiset

MultiSetOps

multiset

manifest

SerializedData SerializedDataLens

marking

InitializedEvent Instance

maximumOperationTime

Transition AbstractTransition

mergeFrom

ConsumedToken FailureStrategy Initialized ProducedToken SerializedData TransitionFailed TransitionFired

messageCompanion

ConsumedToken FailureStrategy Initialized ProducedToken SerializedData TransitionFailed TransitionFired

messages

persistence

multiplicities

MarkingAdditions MultiSetOps

multiset

api

multisetDecrement

MultiSetOps

multisetDifference

MultiSetOps

multisetIncrement

MultiSetOps

multisetSize

MultiSetOps

multisetSum

MultiSetOps