Publications of Year 1996

Dissertations and Habilitations

• Karsten Schmidt. Symbolische Analysemethoden für algebraische Petri-Netze. Dissertation, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 1996. Note: Erschienen im Dieter Bertz Verlag. 246 Seiten, ISBN 3-929470-54-3.

Journal and Book Articles

• Jörg Desel and Wolfgang Reisig. The Synthesis Problem of Petri Nets.. Acta Informatica, 33(4): 297--315, 1996. Note: Überarbeitete Version des SFB-Berichts Nr. 342/20/92 (STACS 93).

• Ekkard Kindler and Wolfgang Reisig. Algebraic System Nets for Modelling Distributed Algorithms. Petri Net Newsletter, 51, November 1996.

Workshop and Conference Papers

• Ekkard Kindler. A Specification and Verification Method for Caching Protocols. In Jörg Desel and Horst Reichel, editors, Formal Methods for Concurrency, GI-Kolloquium, number TUD/FI 96/16 of Fachberichte der TU Dresden, pages 11-16, July 1996. Technische Universität Dresden.

• Ekkard Kindler and Jörg Desel. Der Traum von einem universellen Petrinetz-Werkzeug - Der Petrinetz-Kern. In Jörg Desel, Ekkard Kindler, and Andreas Oberweis, editors, 3. Workshop Algorithmen und Werkzeuge für Petrinetze, pages 27-32, October 1996. Institut AIFB, Universität Karlsruhe.

• Ekkard Kindler and Tobias Vesper. Automatisch überprüfbare Beweistechniken für algebraische Petrinetze. In Jörg Desel, Ekkard Kindler, and Andreas Oberweis, editors, 3. Workshop Algorithmen und Werkzeuge für Petrinetze, pages 33-38, October 1996. Institut AIFB, Universität Karlsruhe.

• Ekkard Kindler and Rolf Walter. Arc-Typed Petri Nets. In J. Billington and Wolfgang Reisig, editors, Application and Theory of Petri Nets 1996, volume 1091 of Lecture Notes in Computer Science, June 1996. Springer-Verlag.

• Wolfgang Reisig. Modelling and Verification of Distributed Algorithms. In CONCUR 96, volume 1119 of Lecture Notes in Computer Science, pages 79-95, 1996. Springer-Verlag.

• Wolfgang Reisig. Temporallogische Verifikation verteilter Algortihmen: Mehr als nur eine Variante. In Jörg Desel and Horst Reichel, editors, Formal Methods for Concurrency, GI-Kolloquium, number TUD/FI 96/16 of Fachberichte der TU Dresden, pages 29-32, July 1996. Technische Universität Dresden.

• Wolfgang Reisig, Ekkart Kindler, Tobias Vesper, Hagen Völzer, and Rolf Walter. Distributed Algorithms for Networks of Agents.. In Wolfgang Reisig and Grzegorz Rozenberg, editors, Petri Nets (2), volume 1492 of Lecture Notes in Computer Science, pages 331-385, 1996. Springer.

• Wolfgang Reisig and Grzegorz Rozenberg. Informal Introduction to Petri Nets. In Wolfgang Reisig and Grzegorz Rozenberg, editors, Petri Nets, volume 1491 of Lecture Notes in Computer Science, pages 1-11, 1996. Springer.

• Karsten Schmidt. Ein Verfahren zur Verifikation von 'Immer möglich' und 'Möglich, daß immer'-Eigenschaften. In Workshop Algorithmen und Werkzeuge für Petrinetze, October 1996. Universität Karlsruhe.

• Karsten Schmidt. Siphons and Traps for Algebraic Petri nets. In Workshop on Concurrency, Specification and Programming (CS&P'96), Proceedings, Berlin, pages 157-168, October 1996.

Technical Reports

• Hartmut Ehrig, Wolfgang Reisig, and Herbert Weber. Kick-Off-Workshop der DFG-Forschergruppe 'Petrinetz-Technologie'. Informatik-Berichte 73, Humboldt-Universität zu Berlin, December 1996.

• Ekkard Kindler. A Compositional Partial Order Semantics for Petri Net Components. SFB-Bericht 342/06/96 A, Technische Universität München, March 1996.

• Ekkard Kindler, Andreas Listl, and Rolf Walter. A Specification Method for Transaction Models with Data Replication. Informatik-Berichte 56, Humboldt-Universität zu Berlin, March 1996.

• Ekkard Kindler, Wolfgang Reisig, Hagen Völzer, and Rolf Walter. Petri Net Based Verification of Distributed Algorithms: An Example. Informatik-Berichte 63, Humboldt-Universität zu Berlin, May 1996.

• Karsten Schmidt. How to Calculate Symbolically Siphons and Traps of Algebraic Petri Nets. Technical Report A39, Helsinki University of Technology, 1996.

• Tobias Vesper. Beweisregeln für Runden. Informatik-Berichte 73, Humboldt-Universität zu Berlin, December 1996.

• Rolf Walter, Hagen Völzer, Tobias Vesper, Wolfgang Reisig, Ekkard Kindler, Jörn Freiheit, and Jörg Desel. Memorandum: Petrinetzmodelle zur Verifikation verteilter Algorithmen. Informatik-Berichte 67, Humboldt-Universität zu Berlin, August 1996.

Research Paper and Master Thesis

• D. Görrissen. Untersuchungen zur Erhaltung der Lebendigkeit, Beschränktheit und Sicherheit bei der strukturellen Simplifizierung von Petri-Netze. Diplomarbeit, Universität Bonn, September 1996.

• André Hahmann. Konzeption und ansatzweise Implementierung für einen netzbasierten Werkzeugkasten. Diplomarbeit, Humboldt-Universität zu Berlin, July 1996.

• Tobias Vesper. Verifikation eines Selbstabilisierenden Leader-Election-Algorithmus unter Ausnutzung Verteilter Abläufe. Diplomarbeit, Humboldt-Universität zu Berlin, March 1996.

back to overview