Publikationen des Jahres 1986

Publikationen in Zeitschriften und Büchern

• Wolfgang Reisig. Anforderungsbeschreibung und Systementwurf mit Petri-Netzen.. Handbuch der modernen Datenverarbeitung, Heft 130: Formale Methoden in der Systementwicklung, (130): 81--96, July 1986.

Konferenzbeiträge und Beiträge auf Workshops

• Stefan Drees, Dominik Gomm, Helmut Plünnecke, Wolfgang Reisig, and Rolf Walter. Bibliography of Petri nets. In Grzegorz Rozenberg, editor, European Workshop on Applications and Theory of Petri Nets, volume 266 of Lecture Notes in Computer Science, pages 309-451, 1986. Springer.

• Wolfgang Reisig. A strong part of concurrency.. In Grzegorz Rozenberg, editor, European Workshop on Applications and Theory of Petri Nets, volume 266 of Lecture Notes in Computer Science, pages 238-272, 1986. Springer.

• Wolfgang Reisig. Embedded System Description Using Petri Nets. In Albert T. Kündig, Richard E. Bührer, and Jacques Dähler, editors, Embedded Systems, volume 284 of Lecture Notes in Computer Science, pages 18-62, 1986. Springer.

• Wolfgang Reisig. Petri Nets in Software Engineering. In Wilfried Brauer, Wolfgang Reisig, and Grzegorz Rozenberg, editors, Advances in Petri Nets, volume 255 of Lecture Notes in Computer Science, pages 63-96, 1986. Springer.

• Wolfgang Reisig. Place/Transition Systems. In Wilfried Brauer, Wolfgang Reisig, and Grzegorz Rozenberg, editors, Advances in Petri Nets, volume 254 of Lecture Notes in Computer Science, pages 117-141, 1986. Springer.

zurück zur Übersicht