Lins, André, 		Morais, Tércio, E 		Almeida, Eliana.
" Modelagem Formal deWorkflow com Redes de Petri na Gestão de Processos de Negócio em Saúde Ambiental" <em>Anais do Simpósio Brasileiro de Computação Aplicada à Saúde (SBCAS)</em> [Online], (20 julho 2009)