Luciana Bolan Frigo
Janette Cardoso
Guilherme Bittencourt
Especificação e Verificação Formal de um modelo de STI-PBL por Redes de Petri Coloridas