Sciweavers

Share
6 search results - page 1 / 2
» CPN Tools: A Post-WIMP Interface for Editing and Simulating ...
Sort
View
APN
2001
Springer
12 years 10 months ago
CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets
CPN/Tools is a major redesign of the popular Design/CPN tool from the University of Aarhus CPN group. The new interface is based on advanced, post-WIMP interaction techniques, incl...
Michel Beaudouin-Lafon, Wendy E. Mackay, Peter And...
TACAS
1997
Springer
197views Algorithms» more  TACAS 1997»
12 years 10 months ago
Design/CPN - A Computer Tool for Coloured Petri Nets
In this paper, we describe the computer tool Design CPN supporting editing, simulation, and state space analysis of Coloured Petri Nets. So far, approximately 40 man-years have bee...
Søren Christensen, Jens Bæk Jø...
APN
2003
Springer
12 years 11 months ago
CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets
CPN Tools is a tool for editing, simulating and analysing Coloured Petri Nets. The GUI is based on advanced interaction techniques, such as toolglasses, marking menus, and bi-manua...
Anne V. Ratzer, Lisa Wells, Henry Michael Lassen, ...
APN
2009
Springer
12 years 9 months ago
The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator
Abstract. Coloured Petri nets (CP-nets or CPNs) is a widely used formalism for describing concurrent systems. CPN Tools provides a mature environment for constructing, simulating, ...
Michael Westergaard, Lars Michael Kristensen
STTT
1998
130views more  STTT 1998»
12 years 5 months ago
The Practitioner's Guide to Coloured Petri Nets
Abstract. Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, speciļ¬cation, validation, and veriļ¬cation of systems. CP-nets have a wide range of applicati...
Lars Michael Kristensen, Søren Christensen,...
books