Petri Nets and Transition Systems (Abstract for an invited talk)

Glynn Winskel. Petri Nets and Transition Systems (Abstract for an invited talk). In Somenath Biswas, Kesav V. Nori, editors, Foundations of Software Technology and Theoretical Computer Science, 11th Conference, New Delhi, India, December 17-19, 1991, Proceedings. Volume 560 of Lecture Notes in Computer Science, pages 420, Springer, 1991.

Abstract

Abstract is missing.