|
|
|
|
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.
2026-02-11
|
|
|
|
|
