Ausfallsichere Petrinetzsimulation: Anbindung des “Reference Net Workshops (Renew)” an eine Datenbank

by Thomas Jacob

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.

76 pages, Paperback

Published May 9, 2012

About the author

Librarian note:
There is more than one author in the GoodReads database with this name.
This profile may contain books from multiple authors of this name
For other authors of this name, see:

Thomas Jacob - Science Fiction, Horror, Young Adult