CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS-Reference-Cited by-同舟云学术

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

Published:2001 Issue: Volume: Page:574-577
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

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

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45319-9_39

Reference5 articles.

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.

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Negotiating Experience and Communicating Information Through Abstract Metaphor;Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems;2023-04-19

2. Modelling the Next Generation ALICE Grid Middleware Using Coloured Petri Nets;Application and Theory of Petri Nets and Concurrency;2022

3. Formal Dependability Modeling and Analysis: A Survey;Lecture Notes in Computer Science;2016

4. Possibilistic WorkFlow Net for Deadlock Avoidance in Interorganizational Business Processes;Enterprise Information Systems;2015

5. Business Process Simulation for Operational Decision Support;Business Process Management Workshops;2008