SIMÃO, Adenilso da Silva; SOUZA, Simone do R. S. de; MALDONADO, José Carlos. A Family of Coverage Testing Criteria for Coloured Petri Nets. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 17. , 2003, Manaus/AM. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2003 . p. 205-220. DOI: https://doi.org/10.5753/sbes.2003.23862.