Publikationen des Jahres 2001

Bücher und Konferenzbände

• Hartmut Ehrig, Wolfgang Reisig, and Herbert Weber, editors. 2nd International Colloquium on Petri Net Technologies for Modelling Communication Based Systems, Tagungsband: Berlin, 14./15. September 2001, 2001. Fraunhofer Gesellschaft ISST.

Dissertationen und Habilitationen

• Ekkart Kindler. Systematische Spezifikation und Verifikation von Konsistenzprotokollen. Habilitationsschrift, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, August 2001.

• Sibylle Peuker. Halbordnungsbasierte Verfeinerung zur Verifikation verteilter Algorithmen. Dissertation, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, July 2001.

Publikationen in Zeitschriften und Büchern

• Ekkart Kindler and Michael Weber. Modules in Pictures. Petri Net Newsletter, 61: 5-8, October 2001.

• Ekkart Kindler and Michael Weber. The Petri Net Kernel - An Infrastructure for Building Petri Net Tools. International Journal on Software Tools for Technology Transfer (STTT), 3(4): 486-497, September 2001.

• Karsten Schmidt. Narrowing Petri Net State Spaces Using the State Equation. Fundamenta Informaticae, 47(3-4): 325-335, October 2001.

Konferenzbeiträge und Beiträge auf Workshops

• Claudia Ermel and Michael Weber. Implementation of Parameterized Net Classes with the Petri Net Kernel of the Petri Net Baukasten. In Hartmut Ehrig, Gabriel Juhas, Julia Padberg, and Grzegorz Rozenberg, editors, Unifying Petri Nets, Advances in Petri Nets, volume 2128 of Lecture Notes in Computer Science, pages 79-102, 2001. Springer-Verlag.

• Ekkart Kindler and Michael Weber. A universal module Concept for Petri nets. In Gabriel Juhas und Robert Lorenz, editor, Proceedings des 8. Workshops AWPN, pages 7-12, October 2001. Katholische Universität Eichstätt.

• Axel Martens. Modeling Workflow in Virtual Enterprises. In Herbert Weber, Hartmut Ehrig, and Wolfgang Reisig, editors, Proc. of 2nd Int. Coll. on Petri Net Technologies for Modelling Communication Based Systems, pages 157-162, 2001. DFG Research Group Petri Net Technology.

• Sibylle Peuker. Property Preserving Transition Refinement with Concurrent Runs: An Example. In 2nd International Conference on Application of Concurrency to System Design (ACSD 2001), pages 77-86, 2001. IEEE Computer Society.

• Wolfgang Reisig. Modelling of learning process, using methodology of System Petri Nets. In Tagungsband der International Scientific Conference MANAGEMENT INFORMATION SYSTEMS, Tibilisi, June 2001.

• Karsten Schmidt. Using invariants for state space reduction. In Workshop on Concurrency, Specification and Programming, Warsaw, 2001.

• Michael Weber. Die Petrinetz-Schaltregel in 4 Phasen - Zusammenfassung. In Gabriel Juhás and Robert Lorenz, editors, 8. Workshop Algorithmen und Werkzeuge für Petrinetze, October 2001. Katholische Universität Eichstätt.

• Michael Weber. The new Petri Net Kernel. In Tool Demonstrations, 22nd ICATPN, Newcastle upon Tyne, U.K., June 2001.

• Michael Weber. Tool Support for Various Types of Petri Nets. In Herberg Weber, Hartmut Ehrig, and Wolfgang Reisig, editors, Proc. of 2nd Int. Coll. on Petri Net Technologies for Modelling Communication Based Systems, pages 171-178, September 2001. DFG Research Group Petri Net Technology.

Technische Berichte

• Ekkard Kindler and Michael Weber. A Universal Module Concept for Petri Nets - An Implementation-Oriented Approach. Informatik-Berichte 150, Humboldt-Universität zu Berlin, April 2001.

Studien- und Diplomarbeiten

• Wolf Richter. Syntaktische Erkennung von Modellierungsfehlern in Web Services. Studienarbeit, Humboldt-Universität zu Berlin, December 2001.

zurück zur Übersicht