PetriNetSimple

Transitionmodel