Game modeling using WorkFlow nets. - Guilherme Willian de Oliveira; Stéphane Julia; Lígia Maria Soares Passos (SMC, 2011)