Passos, L., & 		Julia, S.
(2009).
Análise qualitativa e quantitativa de WorkFlow nets utilizando Lógica Linear.
In <em>Anais do V Simpósio Brasileiro de Sistemas de Informação</em>, (pp. 24-36). Porto Alegre: SBC.
doi:10.5753/sbsi.2009.6163