Petrinetze
Aus Operations-Research-Wiki
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.