CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets.
Video artifacts for design
Proceedings of the conference on Designing interactive systems processes, practices, methods, and techniques - DIS ’00
Søren Christensen
Paul Janecek
Lisa Wells
Kurt Jensen
Michael Westergaard
Martin Stig Stissing
Especificação e Verificação Formal de um modelo de STI-PBL por Redes de Petri Coloridas
Animated use sketches as design representations