Ausfallsichere Petrinetzsimulation

Inhaltlich unvernderte Neuauflage. Der Reference Net Workshop (Renew) der Universitt Hamburg bietet die Mglichkeit, Petrinetze, insbesondere Referenznetze zu modellieren und verteilt zu simulieren. Da Renew als Java-Applikation realisiert ist und es gestattet, Java-Objekte als Marken zu verwenden, ist eine wechselseitige Integration mit anderen Applikationen leicht mglich, um beispielsweise mit Petrinetzen Industrieanlagen zu steuern oder deren Ablufe zu visualisieren, sowie um auf verschiedene Arbeitspltze verteilt Eingriffe in das System vorzunehmen. Daher ist es wichtig, die Steuerung ausfallsicher zu gestalten. Diese Arbeit erweitert Renew um die fortlaufende Persistenz des aktuellen Simulationszustands, um bei Systemausfall die Simulation rekonstruieren und fortsetzen zu knnen. Hierbei wird insbesondere Rcksicht auf die parallele Aktivierung von Transitionen und den damit verbundenen Synchronisationsproblemen genommen. Das Buch richtet sich an alle Informatiker, an Studenten des Faches sowie den interessierten Leser.