Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems.
The Practitioner's Guide to Coloured Petri Nets.
CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets.
Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use - Volume 3
International Journal on Software Tools for Technology Transfer
Søren Christensen
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
Compliance Checking of Organizational Interactions
Modelos para a Construção de Sistemas Multiagentes: Um Estudo de Caso em Sistemas Tutores Inteligentes
Modelagem em Redes de Petri de uma Proposta Sócio-Interacionista de Avaliação da Aprendizagem em um Ambiente Virtual de Aprendizagem
O Uso de Vetores como Proposta de instrumento de Avaliação Para Ambientes Virtuais de Aprendizagem