Evandro Barros de Costa
Leandro Dias da Silva
Angelo Perkusich
Hyggo Oliveira de Almeida
Especificação e Verificação Formal de um modelo de STI-PBL por Redes de Petri Coloridas