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