CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets.
The architecture and implementation of CPN2000, a post-WIMP graphical application
Proceedings of the 13th annual ACM symposium on User interface software and technology - UIST ’00
Søren Christensen
Lisa Wells
Kurt Jensen
Michel Beaudouin-Lafon
Michael Westergaard
Martin Stig Stissing
TrackMouse
Especificação e Verificação Formal de um modelo de STI-PBL por Redes de Petri Coloridas