On the Abstraction of Coloured Petri Nets

Charles Lakos. On the Abstraction of Coloured Petri Nets. In Pierre Azéma, Gianfranco Balbo, editors, Application and Theory of Petri Nets 1997, 18th International Conference, ICATPN 97, Toulouse, France, June 23-27, 1997, Proceedings. Volume 1248 of Lecture Notes in Computer Science, pages 42-61, Springer, 1997.

Abstract

Abstract is missing.