LINS, André Gustavo Teixeira; 						MORAIS, Tércio de; 						ALMEIDA, Eliana S..
 Modelagem Formal deWorkflow com Redes de Petri na Gestão de Processos de Negócio em Saúde Ambiental. <em>In</em>: SIMPÓSIO BRASILEIRO DE COMPUTAÇÃO APLICADA À SAÚDE (SBCAS), 9.	, 2009, Bento Gonçalves/RS.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2009
.
 p. 2055-2058. 
			ISSN 2763-8952.