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

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

Volumn 2031, Issue , 2001, Pages 574-577

  Beaudouin Lafon, Michel ^a   Mackay, Wendy E ^a   Jensen, Mads ^a   Andersen, Peter ^a   Janecek, Paul ^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; PETRI NETS;

BI-MANUAL INTERACTION; COLOURED PETRI NETS; CPN/TOOLS; INTERACTION TECHNIQUES; MARKING MENU; OPENGL GRAPHICS; STATE-SPACE ANALYSIS; TOOL DEMONSTRATION;

ALGORITHMS;

EID: 84903124945     PISSN: 03029743     EISSN: 16113349     Source Type: Journal    
DOI: 10.1007/3-540-45319-9_39     Document Type: Article

References (5)

1. 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.
2. 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.
3. 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.
4. 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.
5. 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.