For the most recent entries see the Petri Nets Newsletter.

CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets - ETAPS Tool Demonstration Related to TACAS.

Beaudouin-Lafon, Michel; Mackay, Wendy E.; Jensen, Mads; Andersen, Peter; Janecek, Paul; Lassen, Michael; Lund, Kasper; Mortensen, Kjeld; Munck, Stephanie; Ratzer, Anne; Ravn, Katrine; Christensen, Søren; Jensen, Kurt

In: LNCS 2031: Tools and Algorithms for the Construction and Analysis of Systems, pages 574-pp. 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001, Proceedings / T. Margaria and W. Yi (Eds.) --- Springer Verlag, 2001.

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


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography