Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems.
The Practitioner's Guide to Coloured Petri Nets.
International Journal on Software Tools for Technology Transfer
Kurt Jensen
Lisa Wells
Søren Christensen
Especificação e Verificação Formal de um modelo de STI-PBL por Redes de Petri Coloridas
Compliance Checking of Organizational Interactions
Modelos para a Construção de Sistemas Multiagentes: Um Estudo de Caso em Sistemas Tutores Inteligentes