Passos, Lígia Maria, E 		Julia, Stéphane.
" Análise qualitativa e quantitativa de WorkFlow nets utilizando Lógica Linear" <em>Anais do Simpósio Brasileiro de Sistemas de Informação (SBSI)</em> [Online], (20 maio 2009)