Giovanni Chiola, Giuliana Franceschinis. Colored GSPN Models and Automatic Symmetry Detection. In Petri Nets and Performance Models, The Proceedings of the Third International Workshop, PNPM 89, Kyoto, Japan, December 11-13, 1989. pages 50-60, IEEE Computer Society, 1989.
Abstract is missing.