| |||||
|
Petrinetze Sie dienen zur formalen Beschreibung der Nebenläufigkeit 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
|
