TU Wien:Formale Modellierung VU (Salzer)/Kapitel Petri-Netze

1. Aussagenlogik
2. Endliche Automaten
3. Formale Sprachen und Grammatiken
4. Prädikatenlogik
5. Petri-Netze

• Media:TU Wien-Formale Modellierung VU (Salzer) - Folien 2019S 09.pdf
• Media:TU Wien-Formale Modellierung VU (Salzer) - Folien Petri Netze Lin.pdf
• Media:TU Wien-Formale Modellierung VU (Salzer) - Folien Petri Netze Koenig.pdf
• de.wikipedia:Petri-Netz

Stellen

mögliche Plätze für Ressourcen (dargestellt als Kreise)

Marken

Ressourcen (dargestellt als kleine gefüllte Kreise)

Transitionen

Systemübergänge, werden nur durchlässig ("feuern"), wenn alle Eingangszustände Marken besitzen (dargestellt als Rechtecke oder Balken)