Petrinetze

Sie dienen zur formalen Beschreibung der Nebenläufigkeit
in Natur, Technik und Ideenwelt.

Einzelheiten
Wenn in einem oder einer Gruppe von Rechnern Programme nebenläufig zueinander ablaufen muß ihr Zusammenwirken koordiniert werden. Dies geschieht mittels bekannter Techniken wie Semaphoren, Interprozesskommunikation und anderen Mitteln. All diese Ansätze lassen sich in semantisch äquivalenter Weise durch Petrinetze darstellen. Letztere haben den Vorteil wissenschaftlich wohl fundiert und anerkannt zu sein.

Beispiele
Es sei auf die Literatur
Baumgarten, Petri-Netze oder Reisig, Petrinetze
verwiesen.