Passos, Lígia Maria, and Stéphane Julia.
"Análise qualitativa e quantitativa de WorkFlow nets utilizando Lógica Linear." <em>Anais do V Simpósio Brasileiro de Sistemas de Informação,
Brasília, 2009</em>. SBC, 2009,  
pp.24-36.