Petri-Netze modellieren...

• sequentielle Ausführung
• Auswahl (ein Zweig von mehreren)
• nebenläufige Verzweigung (mehrere Zweige)
• Synchronisation
• Konflikte (gegenseitiger Ausschluß)