Descriptor marking menu

The descriptor marking menu for state space node descriptors and state space arc descriptors:

Descriptor Marking Menu