CPN/Tools: A tool for editing and simulating coloured petri nets ETAPS tool demonstration related to TACAS

Abstract

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 accelerator and will run on all major platforms (Windows, Unix/Linux, MacOS).