1. J. Billington. Many-Sorted High-Level Nets. In Proceedings of the Third International Workshop on Petri Nets and Performance Models, Kyoto, Japan, 11–13 December 1989, pp. 166–179, IEEE CS Press, Washington, D.C., USA, 1989.
2. G. Chiola and G. Franceschini. Coloured GSPN models and automatic symmetry detection. In Proceedings of the Third International Workshop on Petri Nets and Performance Models, Kyoto, Japan, 11–13 December 1989, pp. 50–60, IEEE CS Press, Washington, D.C., USA, 1989.
3. G. Chiola and G. Franceschini. A Structural Colour Simplification in Well-Formed Coloured Nets. In Proceedings of the Fourth International Workshop on Petri Nets and Performance Models, Melbourne, Australia, 2–5 December 1991, pp.144–153, IEEE Computer Society Press 1991.
4. H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1, Equations and Initial Semantics. Volume 6 of EATCS Monographs on Theoretical Computer Science, Springer-Verlag, Berlin, 1985.
5. Greg Findlow. Can Skeletons Really Be Used to Detect Deadlocks of Nets? In Proceedings of the Fourth International Workshop on Petri Nets and Performance Models, Melbourne, Australia, 2–5 December 1991, pp. 198–203, IEEE Comp. Soc. Press 1991.