The Practitioner's Guide to Coloured Petri Nets.
CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets.
Kurt Jensen
Lisa Wells
Lars Michael Kristensen
Michael Westergaard
Martin Stig Stissing
Jacob Frank Qvortrup
Especificação e Verificação Formal de um modelo de STI-PBL por Redes de Petri Coloridas