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

From VoWi
< TU Wien:Formale Modellierung VU (Salzer)
Revision as of 07:06, 4 June 2019 by Gittenburg (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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)