L. Passos and S. Julia.
"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>, Brasília, 2009, pp. 24-36, doi: <a href="https://doi.org/10.5753/sbsi.2009.6163">https://doi.org/10.5753/sbsi.2009.6163</a>.