Lígia Maria Passos and Stéphane Julia. 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>, maio 20, 2009, Brasília, Brasil. SBC, Porto Alegre, Brasil, 24-36. DOI: <a href="https://doi.org/10.5753/sbsi.2009.6163">https://doi.org/10.5753/sbsi.2009.6163</a>.