Refinement of Coloured Petri Nets

Eike Best, Thomas Thielke. Refinement of Coloured Petri Nets. In Bogdan S. Chlebus, Ludwik Czaja, editors, Fundamentals of Computation Theory, 11th International Symposium, FCT 97, Kraków, Poland, September 1-3, 1997, Proceedings. Volume 1279 of Lecture Notes in Computer Science, pages 105-116, Springer, 1997.

Abstract

Abstract is missing.