Petridefines.h hinzugefügt
Petrinetz mit marker für die Transitionen angepasst