Simão, A., 		Souza, S., & 		Maldonado, J.
2003 out  8.  A Family of Coverage Testing Criteria for Coloured Petri Nets. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :