Marking

api

MarkingFunctions

MarkingOps

MarkingMarshall

api

MarkingOps

api

MarkingUnMarshall

api

MultiSet

api

MultiSetFunctions

MultiSetOps

MultiSetOps

api

MultiSetToMarking

MarkingOps

marking

Node

marshall

MarkingMarshall

maxNrTokens

Node

multiplicities

MarkingFunctions MultiSetFunctions

multisetDecrement

MultiSetFunctions

multisetDifference

MultiSetFunctions

multisetIncrement

MultiSetFunctions

multisetIntersects

MultiSetFunctions

multisetSize

MultiSetFunctions

multisetSum

MultiSetFunctions