Simão, Adenilso, 		Souza, Simone, E 		Maldonado, José.
" A Family of Coverage Testing Criteria for Coloured Petri Nets" <em>Anais do Simpósio Brasileiro de Engenharia de Software (SBES)</em> [Online], (8 outubro 2003)