André Lins, Tércio Morais, and Eliana Almeida. 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>, julho 20, 2009, Bento Gonçalves/RS, Brasil. SBC, Porto Alegre, Brasil, 2055-2058.