Rob J. van Glabbeek, Frits W. Vaandrager. Petri Net Models for Algebraic Theories of Concurrency. In J. W. de Bakker, A. J. Nijman, Philip C. Treleaven, editors, PARLE, Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings. Volume 259 of Lecture Notes in Computer Science, pages 224-242, Springer, 1987.
Abstract is missing.