Publikationen des Jahres 1991

Bücher und Konferenzbände

• Grzegorz Rozenberg, editor. Advances in Petri Nets 1991, Papers from the 11th International Conference on Applications and Theory of Petri Nets, Paris, France, June 1990, volume 524 of Lecture Notes in Computer Science, 1991. Springer.

Publikationen in Zeitschriften und Büchern

• Wolfgang Reisig. Petri nets and algebraic specifications. Theoretical Computer Science, 80(1): 1-34, March 1991.

Technische Berichte

• Wolfgang Reisig. Concurrent Temporal Logic. SFB-Bericht 342/7/91B, Technische Universität München, 1991.

• Wolfgang Reisig. Parallel Composition of Liveness. SFB-Bericht 342/9/91B, Technische Universität München, 1991.

zurück zur Übersicht