Thomas Jacob, Olaf Kummer, and Daniel Moldt.
Datenbank-Sicherung für Petrinetze.
In Gabriel Juhás and Robert Lorenz, editors, 8. Workshop
Algorithmen und Werkzeuge für Petrinetze, pages 61-65. Lehrstuhl
für angewandte Informatik, KU Eichstätt, 2001.
@INPROCEEDINGS{Jacob+01c, AUTHOR = {Jacob, Thomas and Kummer, Olaf and Moldt, Daniel}, BOOKTITLE = {8. Workshop Algorithmen und Werkzeuge f{\"u}r {Petri}netze}, EDITOR = {Gabriel Juh{\'a}s and Robert Lorenz}, PAGES = {61--65}, PUBLISHER = {Lehrstuhl f{\"u}r angewandte Informatik, KU Eichst{\"a}tt}, TITLE = {{Datenbank-Sicherung f{\"u}r Petrinetze}}, YEAR = 2001 }