Inhaltlich unveranderte Neuauflage. Der Reference Net Workshop (Renew) der Universitat Hamburg bietet die Moeglichkeit, 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 moeglich, um beispielsweise mit Petrinetzen Industrieanlagen zu steuern oder deren Ablaufe zu visualisieren, sowie um auf verschiedene Arbeitsplatze 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 koennen. Hierbei wird insbesondere Rucksicht 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.