Lins, A., 		Morais, T., & 		Almeida, E.
(2009).
 Modelagem Formal deWorkflow com Redes de Petri na Gestão de Processos de Negócio em Saúde Ambiental.
In <em>Anais do IX Workshop de Informática Médica</em>, (pp. 2055-2058). Porto Alegre: SBC.