Passos, Lígia Maria, and Stéphane Julia.
" Qualitative and quantitative analysis of WorkFlow nets using Linear Logic." <em>Proceedings of the 5th Brazilian Symposium on Information Systems,
Brasília, 2009</em>. SBC, 2009,  
pp.24-36.