Passos, L., & 		Julia, S.
(2009).
 Qualitative and quantitative analysis of WorkFlow nets using Linear Logic.
In <em>Proceedings of the 5th Brazilian Symposium on Information Systems</em>, (pp. 24-36). Porto Alegre: SBC.
doi:10.5753/sbsi.2009.6163