Lins, A., 		Morais, T., & 		Almeida, E.
2009 jul 20.  Modelagem Formal deWorkflow com Redes de Petri na Gestão de Processos de Negócio em Saúde Ambiental. Anais do Simpósio Brasileiro de Computação Aplicada à Saúde (SBCAS). [Online] :