Publikationen des Jahres 1999

Bücher und Konferenzbände

• Hartmut Ehrig, Wolfgang Reisig, and Herbert Weber, editors. Colloquium on Petri Net Technologies for Modelling Communication Based Systems, October 1999. Fraunhofer Gesellschaft ISST.

Publikationen in Zeitschriften und Büchern

• Thomas Baar and Ekkart Kindler. ILF and DAWN for verifying distributed algorithms - an idea for a tool. Fundamenta Informaticae, 37(3): 201-211, February 1999.

• Ekkart Kindler and Sibylle Peuker. Integrating distributed algorithms into distributed systems. Fundamenta Informaticae, 37(3): 291-309, February 1999.

• Karsten Schmidt. Model-Checking with Coverability Graphs. Formal Methods in System Design, 15(3): 239-254, November 1999.

Konferenzbeiträge und Beiträge auf Workshops

• Thomas Baar, Ekkart Kindler, and Hagen Völzer. Verifying Intuition - ILF Checks DAWN Proofs. In Application and Theory of Petri Nets, 20th International Conference, ICATPN '99, Proceedings, volume 1639 of Lecture Notes in Computer Science, pages 404-424, 1999. Springer-Verlag. Note: Also in: Informatik-Bericht der Humboldt-Universität zu Berlin, Nr. 119, March 1999.

• Ekkart Kindler. Serializability, concurrency control and replication control. In G. Saake, K. Schwarz, and C. Türker, editors, Transactions and Database Dynamics, Proceedings of the Eighth International Workshop on Foundations of Models and Languages for Data and Objects, pages 98-114, September 1999.

• Ekkart Kindler, Tobias Vesper, and Michael Weber. Application-oriented verification scenarios. In Hartmut Ehrig, Wolfgang Reisig, and Herbert Weber, editors, Colloquium on Petri Net Technologies for Modelling Communication Based Systems, pages 279-297, October 1999. Fraunhofer Gesellschaft ISST.

• Ekkart Kindler and Michael Weber. Der Petrinetz-Kern: Ein Überblick. In E. Schnieder, editor, Entwicklung und Betrieb komplexer Automatisierungssysteme, 6. Fachtagung, Band II, pages 641-642, May 1999.

• Ekkart Kindler and Michael Weber. The Petri Net Kernel - An Infrastructure for Building Petri Net Tools. In 20th International Conference on Application and Theory of Petri Nets - Petri Net Tool Presentations, pages 10-19, June 1999. College of William and Mary, Williamsburg, Virginia, USA.

• Axel Martens and Ekkart Kindler. Szenarios - Lokale Kriterien für globale Korrektheit. In K. Spies and B. Schätz, editors, Formale Beschreibungstechniken für verteilte Systeme, 9. GI/ITG Fachgesprächs, June 1999. Utz Verlag, München.

• Karsten Schmidt. LoLA wird Pfadfinder. In Workshop Algorithmen und Werkzeuge für Petrinetze, Frankfurt, pages 48-53, 1999.

• Karsten Schmidt. Stubborn Sets for Modelchecking the EF/AG-Fragment of CTL. In Workshop on Concurrency, Specification and Programming, Warsaw, pages 204-213, 1999.

• Karsten Schmidt. Stubborn Sets for Standard Properties. In Application and Theory of Petri Nets, 20th International Conference, ICATPN '99, Proceedings, volume 1639 of Lecture Notes in Computer Science, pages 46-65, 1999. Springer-Verlag.

• Tobias Vesper and Michael Weber. Automatisches Verteiltes Rücksetzen. In K. Spies and B. Schätz, editors, Formale Beschreibungstechniken für verteilte Systeme, 9. GI/ITG Fachgesprächs, June 1999. Utz Verlag, München.

• Michael Weber. Der Petrinetz-Würfel im Petrinetz-Kern. In A. Oberweis J. Desel, editor, 6. Workshop Algorithmen und Werkzeuge für Petrinetze, pages 69-74, October 1999. J. W. Goethe-Universität Frankfurt/Main, Institut für Wirtschaftsinformatik.

• Michael Weber. The Tool Developer View of the 'Petri Net Baukasten'. In Hartmut Ehrig, Wolfgang Reisig, and Herbert Weber, editors, Colloquium on Petri Net Technologies for Modelling Communication Based Systems, pages 267-277, October 1999. Fraunhofer Gesellschaft ISST.

Technische Berichte

• Anne Battke, Alexander Borusan, Juliane Dehnert, Hartmut Ehrig, Claudia Ermel, Maike Gajewsky, Kathrin Hoffmann, Bodo Hohberg, Gabriel Juhás, Sabine Lembke, Axel Martens, Julia Padberg, Wolfgang Reisig, Tobias Vesper, Herbert Weber, and Michael Weber. Petrinetz-Technologie: Initial Realization of the Petri Net Baukasten. Informatik-Berichte 129, Humboldt-Universität zu Berlin, October 1999.

• Ekkart Kindler. A classification of consistency models. Technical Report B99-14, Freie Universität Berlin, Institut für Informatik, October 1999.

• Ekkart Kindler and Wil M. P. van der Aalst. Liveness, Fairness, and Recurrence. Technical Report UGA-CS-TR-99-02, University of Georgia, Department of Computer Science, Athens, USA, April 1999. Note: Also in: Information Processing Letters, 70(6), pp. 269-274, June 1999.

• Sibylle Peuker. Phased Decomposition of Distributed Algorithms. Informatik-Berichte 120, Humboldt-Universität zu Berlin, April 1999.

• Karsten Schmidt. Integrating Low Level Symmetries into Reachability Analysis. Informatik-Berichte 122, Humboldt-Universität zu Berlin, 1999.

Dokumentationen

• Ekkart Kindler and Michael Weber. The Petri Net Kernel - Documentation of the application interface. 2.0 edition, January 1999.

Studien- und Diplomarbeiten

• D. Runge. Algorithmen und Methoden für die Visualisierung molekularer Oberflächen und Grenzflächen. Diplomarbeit, Humboldt-Universität zu Berlin, June 1999.

• S. Unger. Automatisches Überprüfen von DAWN-Beweisen. Diplomarbeit, Humboldt-Universität zu Berlin, October 1999.

zurück zur Übersicht