Lars Michael Kristensen
Søren Christensen
Kurt Jensen
Especificação e Verificação Formal de um modelo de STI-PBL por Redes de Petri Coloridas