Passos, L., & 		Julia, S.
2009 mai 20.  Análise qualitativa e quantitativa de WorkFlow nets utilizando Lógica Linear. Anais do Simpósio Brasileiro de Sistemas de Informação (SBSI). [Online] :