+
HMap
-
HMap
|+|
MarkingFunctions
|-|
MarkingFunctions
~>
PlaceDSL
TransitionDSL
~|~>
ADJ