Ausfallsichere Petrinetzsimulation

Inhaltlich unveränderte Neuauflage. Der Reference Net Workshop (Renew) der Universität Hamburg bietet die Möglichkeit, 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 möglich, um beispielsweise mit Petrinetzen Industrieanlagen zu steuern oder deren Abläufe zu visualisieren, sowie um auf verschiedene Arbeitsplätze 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 können. Hierbei wird insbesondere Rücksicht 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.