+
Marking
++
Marking
-
Marking
--
Marking
~>
PlaceDSL
TransitionDSL