A. Simão, S. Souza, and J. Maldonado.
" A Family of Coverage Testing Criteria for Coloured Petri Nets", in <em>Proceedings of the 17th Brazilian Symposium on Software Engineering</em>, Manaus/AM, 2003, pp. 205-220, doi: <a href="https://doi.org/10.5753/sbes.2003.23862">https://doi.org/10.5753/sbes.2003.23862</a>.