MarkedPlace

colored

Marking

colored

MarkingData

Marking

MultiSet

multiset

MultiSetOps

multiset

markedPlaces

Marking

maximumOperationTime

Transition AbstractTransition

multiplicities

Marking MultiSetOps

multiset

api

multisetDecrement

MultiSetOps

multisetDifference

MultiSetOps

multisetIncrement

MultiSetOps

multisetSize

MultiSetOps

multisetSum

MultiSetOps