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