Petri-Netze

Petri-Netz 
Kantemenge 
Gewicht 
Markierung 
Elemente 
Visualisierung 
Regel 
Pre-Set eines Knotens 
Post-Set eines Knotens 
Feuern einer Transition 
Erreichbarkeitsgraph 
Erreichbarkeitsgraph zu groß