Søren Christensen, Laure Petrucci. Modular State Space Analysis of Coloured Petri Nets. In Giorgio De Michelis, Michel Diaz, editors, Application and Theory of Petri Nets 1995, 16th International Conference, Turin, Italy, June 26-30, 1995, Proceedings. Volume 935 of Lecture Notes in Computer Science, pages 201-217, Springer, 1995.
Abstract is missing.