1 Department of Computer Science, Faculty of Science, Aarhus University, Aarhus University2 Department of Computer Science, Science and Technology, Aarhus University3 AU IT - Operations and Technology, AU IT, Central Administration, Aarhus University4 Department of Computer Science, University of Aarhus, IT-parken, Aabogade 34, DK-8200 Aarhus N5 Alexandra Instituttet A/S6 unknown7 Department of Computer Science, Science and Technology, Aarhus University8 AU IT - Operations and Technology, AU IT, Central Administration, Aarhus University9 Alexandra Instituttet A/S
<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