+

HMap

-

HMap

>=

WMarkingOps

|+|

MarkingFunctions

|-|

MarkingFunctions

|~>

simple

~>

PlaceDSL TransitionDSL

~|~>

ADJ