Lins, André, Tércio de Morais, and Eliana S. Almeida.
" Modelagem Formal deWorkflow com Redes de Petri na Gestão de Processos de Negócio em Saúde Ambiental." <em>Anais do IX Workshop de Informática Médica,
Bento Gonçalves/RS, 2009</em>. SBC, 2009,  
pp.2055-2058.