LINS, André Gustavo Teixeira; 						MORAIS, Tércio de; 						ALMEIDA, Eliana S..
 Formal Workflow Modeling with Petri Nets in Business Process Management for Environmental Health. <em>In</em>: BRAZILIAN SYMPOSIUM ON COMPUTING APPLIED TO HEALTH (SBCAS), 9.	, 2009, Bento Gonçalves/RS.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2009
.
 p. 2055-2058. 
			ISSN 2763-8952.