Lígia Maria Passos and Stéphane Julia. 2009.
 Qualitative and quantitative analysis of WorkFlow nets using Linear Logic. In <em>Proceedings of the 5th Brazilian Symposium on Information Systems</em>, May 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>.