union jack
Publikationen
HU-Logo
Institut für Informatik

Publikationen des Jahres 1997

Bücher und Konferenzbände

  • Hartmut Ehrig, Wolfgang Reisig, and Herbert Weber, editors. Move-On-Workshop der DFG-Forschergruppe 'Petri Net Technology', number 97-21 of Forschungsberichte des Fachbereichs Informatik, April 1997. Technische Universität Berlin. icon BIBTEX

Publikationen in Zeitschriften und Büchern

  • Hartmut Ehrig and Wolfgang Reisig. An Algebraic View on Petri Nets.. Bulletin of the EATCS, 61: 52-58, February 1997. BIBTEX

  • Ekkard Kindler. Inhibitor arcs: A philosophical view. Petri Net Newsletter, 53, October 1997. Note: Cover Picture Story. icon BIBTEX

  • Ekkard Kindler, Wolfgang Reisig, Hagen Völzer, and Rolf Walter. Petri Net Based Verification of Distributed Algorithms: An Example. Formal Aspects of Computing, 9(4): 409-424, 1997. BIBTEX

  • Ekkard Kindler and Rolf Walter. Mutex Needs Fairness. Information Processing Letters, 62(1): 31-39, 1997. icon BIBTEX

Konferenzbeiträge und Beiträge auf Workshops

  • Claudia Ermel, Magdalena Gajewski, Tobias Vesper, and Michael Weber. Verifikation strukturierter Netze. In Hartmut Ehrig, Wolfgang Reisig, and Herbert Weber, editors, Move-On-Workshop der DFG-Forschergruppe 'Petri Net Technology', number 97-21 of Forschungsberichte des Fachbereichs Informatik, April 1997. Technische Universität Berlin. icon icon BIBTEX

  • Olaf Fricke, Alexander Borusan, Tobias Vesper, and Ekkard Kindler. Verifikation im Vorgehensmodell anhand eines Beispiels. In Hartmut Ehrig, Wolfgang Reisig, and Herbert Weber, editors, Move-On-Workshop der DFG-Forschergruppe 'Petri Net Technology', number 97-21 of Forschungsberichte des Fachbereichs Informatik, April 1997. Technische Universität Berlin. icon icon BIBTEX

  • Ekkard Kindler. A compositional partial order semantics for Petri net components. In Pierre Azéma and Gianfranco Balbo, editors, Application and Theory of Petri Nets 1997, 18th International Conference, ICATPN '97, Proceedings, volume 1248 of Lecture Notes in Computer Science, pages 235-252, June 1997. Springer-Verlag. icon BIBTEX

  • Ekkard Kindler. Der Petrinetz-Kern: Ein Traum wird wahr. In Hartmut Ehrig, Wolfgang Reisig, and Herbert Weber, editors, Move-On-Workshop der DFG-Forschergruppe 'Petri Net Technology', number 97-21 of Forschungsberichte des Fachbereichs Informatik, April 1997. Technische Universität Berlin. icon icon BIBTEX

  • Ekkard Kindler and Wolfgang Reisig. Verification of Distributed Algorithms with Algebraic Petri Nets. In Christian Freksa, Matthias Jantzen, and Rüdiger Valk, editors, Foundations of Computer Science: Potential - Theory - Cognition, volume 1337 of Lecture Notes in Computer Science, pages 261-270, 1997. Springer-Verlag. icon BIBTEX

  • Ekkart Kindler and Tobias Vesper. A temporal logic for events and states in Petri nets. In B. Farwer, D. Moldt, and M.-O. Stehr, editors, Petri Nets in System Engineering (PNSE'97) Modelling, Verification, and Validation, number FBI-HH-B-205/97 of Fachberichte, pages 101-110, September 1997. Universität Hamburg, Fachbereich Informatik. icon icon BIBTEX

  • Sibylle Peuker. Invariant property preserving extensions of elementary Petri nets. In Hartmut Ehrig, Wolfgang Reisig, and Herbert Weber, editors, Move-On-Workshop der DFG-Forschergruppe 'Petri Net Technology', number 97-21 of Forschungsberichte des Fachbereichs Informatik, April 1997. Technische Universität Berlin. icon icon BIBTEX

  • Wolfgang Reisig. Interleaved progress, concurrent progress, and local progress. In D. A. Peled, V. R. Pratt, and G. J. Holzmann, editors, Proceedings of the DIMACS workshop on Partial order methods in verification (POMIV '96), volume 29, New York, NY, USA, pages 99-115, 1997. AMS Press, Inc.. BIBTEX

  • Wolfgang Reisig. Verteilte Algorithmen: Nutzen sie der Forschergruppe?. In Hartmut Ehrig, Wolfgang Reisig, and Herbert Weber, editors, Move-On-Workshop der DFG-Forschergruppe 'Petri Net Technology', number 97-21 of Forschungsberichte des Fachbereichs Informatik, April 1997. Technische Universität Berlin. icon icon BIBTEX

  • Karsten Schmidt. Modelchecking on Symbolic Reachability Graphs of Petri nets. In Workshop Algorithmen und Werkzeuge für Petrinetze, Berlin, pages 43-48, 1997. BIBTEX

  • Karsten Schmidt. Modelchecking with Coverability Graphs. In Workshop on Concurrency, Specification and Programming, Warsaw, Poland, pages 112-123, 1997. BIBTEX

  • Karsten Schmidt. Siphons, Traps, and High-Level nets with Infinite Color Domains. In Pierre Azéma and Gianfranco Balbo, editors, Application and Theory of Petri Nets 1997, 18th International Conference, ICATPN '97, Proceedings, volume 1248 of Lecture Notes in Computer Science, pages 271-289, June 1997. Springer-Verlag. ABSTRACTBIBTEX

  • Karsten Schmidt. Verification of Siphons and Traps for Algebraic Petri nets. In Pierre Azéma and Gianfranco Balbo, editors, Application and Theory of Petri Nets 1997, 18th International Conference, ICATPN '97, Proceedings, volume 1248 of Lecture Notes in Computer Science, pages 427-446, June 1997. Springer-Verlag. ABSTRACTBIBTEX

Technische Berichte

  • Jörg Desel and Ekkard Kindler. Proving correctness of distributed algorithms: A Petrinet approach. Bericht 348, AIFB, Universität Karlsruhe, February 1997. BIBTEX

  • Jörg Desel, Ekkard Kindler, and Andreas Oberweis. Algorithmen und Werkzeuge für Petrinetze, 4. Workshop. Informatik-Berichte 85, Humboldt-Universität zu Berlin, September 1997. BIBTEX

  • Ekkard Kindler and Tobias Vesper. ESTL: A temporal logic for events and states. Informatik-Berichte 87, Humboldt-Universität zu Berlin, November 1997. BIBTEX

  • Ekkard Kindler and Hagen Völzer. Flexibility in algebraic nets. Informatik-Berichte 89, Humboldt-Universität zu Berlin, November 1997. BIBTEX

  • Karsten Schmidt. Applying Reduction Rules to Algebraic Petri nets. Technical Report A44, Helsinki University of Technology, 1997. BIBTEX

  • Karsten Schmidt. Model Checking on Symbolic Reachability Graphs of Petri nets. Technical Report MATH-AL-10-1997, Dresden University of Technology, 1997. BIBTEX

  • Hagen Völzer. Verifying fault tolerance of distributed algorithms formally: A case study. Informatik-Berichte 84, Humboldt-Universität zu Berlin, May 1997. BIBTEX

  • Michael Weber, Rolf Walter, Hagen Völzer, Tobias Vesper, Wolfgang Reisig, Sibylle Peuker, Ekkard Kindler, Jörn Freiheit, and Jörg Desel. DAWN: Petrinetzmodelle zur Verifikation Verteilter Algorithmen. Informatik-Berichte 88, Humboldt-Universität zu Berlin, December 1997. Note: Errata: http://www.informatik.hu-berlin.de/top/download/publications/WeberWVVRPKFD1997_hub_tr88-errata.ps. icon BIBTEX

Studien- und Diplomarbeiten

  • Jörn Freiheit. Arc-Typed-Petrinetze. Verifikation eines Datenbankmanagementsystems mit Datenreplikation. Diplomarbeit, Humboldt-Universität zu Berlin, May 1997. BIBTEX

  • Axel Martens. Software-Engineering von Workflow-Applikationen mit Petrinetzen. Diplomarbeit, Humboldt-Universität zu Berlin, August 1997. icon BIBTEX

  • Michael Weber. unless-Aspekte und ihr Beitrag zur Verifikation von mit Petrinetzen modellierten Systemen. Diplomarbeit, Humboldt-Universität zu Berlin, January 1997. icon BIBTEX

zurück zur Übersicht zurück zur Übersicht

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