Modular State Space Analysis of Coloured Petri Nets

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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.