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).
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Beaudouin-Lafon, M., Lassen, M. The Architecture and Implementation of CPN2000, A Post-WIMP Graphical Application. Proc. ACM Symposium on User Interface Software and Technology, UIST 2000, November 2000, ACM Press, 2000.
Jensen, K. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical use, vol 1,2 and 3, Monographs in Theoretical Computer Science, Springer Verlag, 1992-97.
Kristensen, L. M., Christensen, S. and Jensen K. The Practitioner’s Guide to Coloured Petri Nets International Journal on Software Tools for Technology Transfer, vol. 2, December 1998, pp. 98–132.
Bier, E., Stone, M., Pier, K., Buxton, W., De Rose, T. Toolglass and Magic Lenses: the See-Through Interface. In Proc. ACM SIGGRAPH, ACM Press, 1993, pp. 73–80.
Kurtenbach, G. & Buxton, W. User Learning and Performance with Marking Menus. In Proc. Human Factors in Computing Systems, CHI’94, ACM, 1994, pp. 258–264.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Beaudouin-Lafon, M. et al. (2001). CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS . In: Margaria, T., Yi, W. (eds) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2001. Lecture Notes in Computer Science, vol 2031. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45319-9_39
Download citation
DOI: https://doi.org/10.1007/3-540-45319-9_39
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41865-8
Online ISBN: 978-3-540-45319-2
eBook Packages: Springer Book Archive