Simão, A., 		Souza, S., & 		Maldonado, J.
(2003).
 A Family of Coverage Testing Criteria for Coloured Petri Nets.
In <em>Proceedings of the 17th Brazilian Symposium on Software Engineering</em>, (pp. 205-220). Porto Alegre: SBC.
doi:10.5753/sbes.2003.23862