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