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

From VoWi
Jump to navigation Jump to search
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)