Petrinetze: Unterschied zwischen den Versionen

Version vom 28. Februar 2010, 11:18 Uhr

Eine weitere formale Beschreibungsmethode für den Ablauf von Prozessen stellen die Petri-Netze dar. 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.