<em>ETAPS Tool Demonstration Related to TACAS</em>
CPN/Tools is a major redesign of the popular Design/CPN tool for editing, simulation and state space analysis of Coloured Petri Nets. The new interface is based on advanced interaction techniques, including bi-manual interaction, toolglasses and marking menus and a new metaphor for managing the workspace. It challenges traditional ideas about user interfaces, getting rid of pull-down menus, scrollbars, and even selection, while providing the same or greater functionality. CPN/Tools requires an OpenGL graphics accelerator and will run on all major platforms (Windows, Unix/Linux, MacOS).
Lecture Notes in Computer Science, 2001, p. 574-577
Main Research Area:
Lecture Notes in Computer Science
European Joint Conferences on Theory and Practice of Software. ETAPS 2001