Results
ExtendedSimpleNet Yes
SimpleNet Yes
ExtendedFreeChoiceNet Yes
FreeChoiceNet No
MarkedGraph No
StateMachine No