Publikationen des Jahres 1998

B�cher und Konferenzb�nde

Wolfgang Reisig. Elements Of Distributed Algorithms: Modeling and Analysis with Petri Nets. Springer-Verlag, September 1998.
J�rg Desel, Peter Kemper, Ekkart Kindler, and Andreas Oberweis, editors. Algorithmen und Werkzeuge f�r Petrinetze, 5. Workshop, number 694 of Forschungsberichte, October 1998. Universit�t Dortmund, Fachbereich Informatik.
Wolfgang Reisig and Grzegorz Rozenberg, editors. Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996, volume 1491 of Lecture Notes in Computer Science, 1998. Springer.
Wolfgang Reisig and Grzegorz Rozenberg, editors. Lectures on Petri Nets II: Applications, Advances in PetriNets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996, volume 1492 of Lecture Notes in Computer Science, 1998. Springer.

Konferenzbeitr�ge und Beitr�ge auf Workshops

J�rg Desel and Ekkart Kindler. Proving Correctness of Distributed Algorithms Using High-Level Petri Nets - A Case Study. In First International Conference on Application of Concurrency to System Design (ACSD'98), Fukushima, Japan, pages 177-186, March 1998. IEEE Computer Society Press.
J�rg Desel and Wolfgang Reisig. Place/Transition Petri Nets.. In Wolfgang Reisig and Grzegorz Rozenberg, editors, Petri Nets, volume 1491 of Lecture Notes in Computer Science, pages 122-173, November 1998. Springer.
Ekkart Kindler. The interplay of transaction models and memory models. In M. Tamer �zsu, Asuman Dogac, and �zg�r Ulusoy, editors, Proceedings of the Third International Conference on Integrated Design and Process Technology, volume 2 of IDPT, pages 39-46, July 1998. Society for Design and Process Science.
Ekkart Kindler and Tobias Vesper. ESTL: A Temporal Logic for Events and States. In J�rg Desel and Manuel Silva, editors, Application and Theory of Petri Nets, 19th International Conference, ICATPN '98, Proceedings, volume 1420 of Lecture Notes in Computer Science, pages 365-384, June 1998. Springer-Verlag.
Ekkart Kindler and Hagen V�lzer. Flexibility in Algebraic Nets. In J�rg Desel and Manuel Silva, editors, Application and Theory of Petri Nets, 19th International Conference, ICATPN '98, Proceedings, volume 1420 of Lecture Notes in Computer Science, pages 345-364, June 1998. Springer-Verlag.
Klaus-Peter Neuendorf, Karsten Schmidt, Dimitris Kiritsis, and Paul Xirouchakis. Workflow Modelling and Analysis with Chameleon Nets. In H.-D. Burkhard, L. Czaja, and P. Starke, editors, Workshop On Concurrency, Specification and Programming, pages 156-161, September 1998. Humboldt-Universit�t zu Berlin. Note: Appeared as Informatik-Berichte Nr. 110.
Wolfgang Reisig. Distributed Algorithms: Modeling and Analysis with Petri Nets. In Systems, Man, and Cybernetics, 1998. 1998 IEEE International Conference on, volume 1, pages 38-43, October 1998.
Karsten Schmidt. Goal Oriented Stubborn Sets. In H.-D. Burkhard, L. Czaja, and P. Starke, editors, Workshop On Concurrency, Specification and Programming, pages 204-213, September 1998. Humboldt-Universit�t zu Berlin. Note: Appeared as Informatik-Berichte Nr. 110.
Karsten Schmidt. Symmetrien in der Erreichbarkeitsanalyse. In J. Desel, P. Kemper, E. Kindler, and A. Oberweis, editors, Forschungsbericht, No. 694: 5. Workshop Algorithmen und Werkzeuge f�r Petrinetze, pages 101-106, 1998. Universit�t Dortmund, Fachbereich Informatik.

Technische Berichte

Thomas Baar and Ekkart Kindler. Einsatz von ILF und DAWN zur Verifikation verteilter Algorithmen - Eine Vorstudie. Informatik-Berichte 99, Humboldt-Universit�t zu Berlin, March 1998.
Jens Hauptmann, Bodo Hohberg, Ekkart Kindler, Ines Schwenzer, and Michael Weber. Der Petrinetz-Kern - Dokumentation der Anwendungs-Schnittstelle. Informatik-Berichte 98, Humboldt-Universit�t zu Berlin, February 1998.
Ekkart Kindler. Database theory - Petri net theory - Workflow theory. Informatik-Berichte 102, Humboldt-Universit�t zu Berlin, May 1998.
Wolfgang Reisig. On the structure of DNA Algorithm. Informatik-Berichte 116, Humboldt-Universit�t zu Berlin, December 1998.
Tobias Vesper and Michael Weber. Validierung eines Petrinetz-basierten Steuerungssystems. Informatik-Berichte 100, Humboldt-Universit�t zu Berlin, April 1998.

Studien- und Diplomarbeiten

Juliane Dehnert and Ines Schwenzer. Dialogmodellierung mit Petrinetzen - Das FAN-Dialogmodell. Diplomarbeit, Humboldt-Universit�t zu Berlin, August 1998.

zur�ck zur �bersicht

Theorie der Programmierung | Kontakt | XHTML 1.0 | Fri Sep 11 16:30:32 2009