Publikationen des Jahres 1992

Bücher und Konferenzbände

• Wolfgang Reisig. A Primer in Petri Net Design. Springer Compass International, 1992.

• Kurt Jensen, editor. Application and Theory of Petri Nets 1992, 13th International Conference, Sheffield, UK, June 22-26, 1992, Proceedings, volume 616 of Lecture Notes in Computer Science, 1992. Springer.

Publikationen in Zeitschriften und Büchern

• Wolfgang Reisig. Report on the REX Workshop on Semantics-Foundations and Applications. Bulletin of the EATCS, 84, 1992.

Konferenzbeiträge und Beiträge auf Workshops

• Wolfgang Reisig. Combining Petri Nets and Other Formal Methods. In Kurt Jensen, editor, Application and Theory of Petri Nets, volume 616 of Lecture Notes in Computer Science, pages 24-44, 1992. Springer.

Technische Berichte

• Wolfgang Reisig. Elements of a Temporal Logic Coping with Concurrency. SFB-Bericht 342/23/92, Technische Universität München, 1992.

zurück zur Übersicht