CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets.
Lisa Wells
Kurt Jensen
Søren Christensen
Martin Stig Stissing
Jacob Frank Qvortrup
Mads Laursen
Especificação e Verificação Formal de um modelo de STI-PBL por Redes de Petri Coloridas