Simão, Adenilso, Simone do R. S. de Souza, and José Carlos Maldonado.
"A Family of Coverage Testing Criteria for Coloured Petri Nets." <em>Anais do XVII Simpósio Brasileiro de Engenharia de Software,
Manaus/AM, 2003</em>. SBC, 2003,  
pp.205-220.