Passos, Lígia Maria, AND 		Julia, Stéphane.
" Qualitative and quantitative analysis of WorkFlow nets using Linear Logic" <em>Proceedings of the Brazilian Symposium on Information Systems (SBSI)</em> [Online], (20 May 2009)