ARAÚJO, Ricardo Wagner de. Verificação formal automatizada para sistemas de raciocínio procedural (PRS) utilizando redes de petri coloridas (RPC). 2005. 172 f. Tese (Doutorado em Automação e Sistemas; Engenharia de Computação; Telecomunicações) - Universidade Federal do Rio Grande do Norte, Natal, 2005.

https://repositorio.ufrn.br/jspui/handle/123456789/18574

http://repositorioslatinoamericanos.uchile.cl/handle/2250/3946311