An Introduction to the Theoretical Aspects of Coloured Petri Nets

Kurt Jensen. An Introduction to the Theoretical Aspects of Coloured Petri Nets. In J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg, editors, A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993, Proceedings. Volume 803 of Lecture Notes in Computer Science, pages 230-272, Springer, 1993.

Abstract

Abstract is missing.