Petrinetze

Aus Operations-Research-Wiki
Wechseln zu: Navigation, Suche

Grundlagen Petri-Netze

Eine weitere formale Beschreibungsmethode für den Ablauf von Prozessen stellen die Petri-Netze dar (benannt nach ihrem Erfinder Carl Adam Petri).

Ein Petri-Netz ist ein markierter Graph, in dem die Knoten die Prozesse und ihre zugehörigen Zustände darstellen und die Kanten deren Ablaufbeziehungen symbolisieren.

Einsatzgebiete für Petri-Netze