CPN/tools: A post-WIMP interface for editing and simulating coloured petri nets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2075, Issue , 2001, Pages 71-80

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

^a AARHUS UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMMING INTERFACES (API); COMPUTER GRAPHICS; GRAPHICAL USER INTERFACES; USER INTERFACES;

BI-MANUAL INTERACTION; COLOURED PETRI NETS; CPN/TOOLS; INTERACTION TECHNIQUES; MARKING MENU; OPENGL GRAPHICS; POST WIMPS; POST-WIMP INTERFACES;

PETRI NETS;

EID: 48449083343     PISSN: 03029743     EISSN: 16113349     Source Type: Journal    
DOI: 10.1007/3-540-45740-2_6     Document Type: Article

References (14)

1. Beaudouin-Lafon, M. PeTriPote: a graphic system for Petri-nets design and simulation. Proc. 4th European Workshop on Applications & Theory of Petri-Nets, 1983, p. 20-30.
2. Beaudouin-Lafon, M. & Lassen, M. The Architecture and Implementation of CPN2000, a Post-WIMP Graphical Application. In Proc. ACM Symposium on User Interface Software and Technology, UIST 2000, CHI Letters 2(2): 181-190, ACM, 2000.
3. Beaudouin-Lafon, M. & Mackay, W. Reification, Polymorphism and Reuse: Three Principles for Designing Visual Interfaces. In Proc. Conference on Advanced Visual Interfaces, AVI 2000, Palermo, Italy, May 2000, p. 102-109.
4. Beaudouin-Lafon, M. Instrumental Interaction: An Interaction Model for Designing Post-WIMP User Interfaces. In Proc. Human Factors in Computing Systems, CHI'2000, CHI Letters 2(1): 446-453, ACM Press, 2000.
5. 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, p. 73-80.
6. Casalta, D., Guiard, Y. and Beaudouin-Lafon, M. Evaluating Two-Handed Input Techniques: Rectangle Editing and Navigation. In Proc. ACM Human Factors In Computing Systems, CHI'99, Extended Abstracts, 1999, p. 236-237.
7. Guiard, Y. Asymmetric division of labor in human skilled bimanual action: The kinematic chain as a model. Journal of Motor Behavior, 19: 486-517, 1987.
8. Haag, T.B. and Hansen, T.R. Optimising a Coloured Petri Net Simulator. Master's Thesis, University of Aarhus (Denmark), December 1994.
9. Janecek, P., Ratzer, A., and Mackay, W. Redesigning Design/CPN: Integrating Interaction and Petri-Nets-In-Use. In Proc. International Workshop on Coloured Petri Nets, Aarhus, Denmark, 1999.
10. Jensen, K. Coloured Petri Nets: Basic Concepts (Vol. 1, 1992), Analysis Methods (Vol. 2, 1994), Practical Use (Vol. 3, 1997). Monographs in Theoretical Computer Science. Springer-Verlag, 1992-97.
11. Kurtenbach, G. & Buxton, W. User Learning and Performance with Marking Menus. In Proc. Human Factors in Computing Systems, CHI'94, ACM, 1994, p. 258-264.
12. Mackay, W.E. Users and Customizable Software: A Co-Adaptive Phenomenon. Ph.D. Dissertation, Massachusetts Institute of Technology, 1990.
13. Mackay, W.E. Triggers and barriers to customizing software. In Proc. ACM Human Factors in Computing Systems, CHI'91, ACM Press, 1991, p. 153-160.
14. Mackay, W., Ratzer, A. & Janecek, P. Video Artifacts for Design: Bridging the Gap between Abstraction and Detail. In Proc. ACM Conference on Designing Interactive Systems, DIS 2000, New York, August 2000, p. 72-82.