A. Lins, T. Morais, and E. Almeida.
" 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>, Bento Gonçalves/RS, 2009, pp. 2055-2058.