Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems.
CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets.
International Journal on Software Tools for Technology Transfer
Kurt Jensen
Søren Christensen
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