Publikationen des Jahres 1987

Bücher und Konferenzbände

• Wolfgang Reisig. Das Verhalten verteilter Systeme, number 170 of GMD-Bericht. Oldenbourg Berichte der GMD, München, 1987. Note: Habilitationsschrift.

• Wolfgang Reisig. Towards a Temporal Logic for True Concurrency. Part I: Linear Time Propositional Logic, number 277 of Arbeitspapiere der GMD. Gesellschaft für Mathematik und Datenverarbeitung mbH, Sankt Augustin, Arbeitspapiere der GMD, 1987.

• Wilfried Brauer, Wolfgang Reisig, and Grzegorz Rozenberg, editors. Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part I, Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986, volume 254 of Lecture Notes in Computer Science, 1987. Springer.

• Wilfried Brauer, Wolfgang Reisig, and Grzegorz Rozenberg, editors. Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part II, Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986, volume 255 of Lecture Notes in Computer Science, 1987. Springer.

• Albert T. Kündig, Richard E. Bührer, and Jacques Dähler, editors. Embedded Systems: New Approaches to Their Formal Description and Design, An Advances Course, Zürich, Switzerland, March 5-7, 1986, volume 284 of Lecture Notes in Computer Science, 1987. Springer.

• Grzegorz Rozenberg, editor. Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets, Oxford, UK, June 1986, volume 266 of Lecture Notes in Computer Science, 1987. Springer.

Publikationen in Zeitschriften und Büchern

• E. Smith and Wolfgang Reisig. The Semantics of a Net is a Net: An Exercise in General Net Theory. Concurrency and Nets - Advances in Petri Nets, pp 461--480, 1987.

Konferenzbeiträge und Beiträge auf Workshops

• Wolfgang Reisig and J. Vautherin. An Algebraic Approach to High Level Petri Nets. In Proceedings of the Eighth European Workshop on Application and Theory of Petri Nets, Spain, pages 51--72, 1987. Universidad de Zaragoza.

zurück zur Übersicht