CPN tools for editing, simulating, and analysing Coloured Petri Nets

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

Volumn 2679, Issue , 2003, Pages 450-462

  Ratzer, Anne Vinter ^a   Wells, Lisa ^a   Lassen, Henry Michael ^a   Laursen, Mads ^a   Qvortrup, Jacob Frank ^a   Stissing, Martin Stig ^a   Westergaard, Michael ^a   Christensen, Søren ^a   Jensen, Kurt ^a  

^a AARHUS UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

GRAPHICAL USER INTERFACES;

BI-MANUAL INTERACTION; BOUNDEDNESS PROPERTIES; CODE GENERATION; COLOURED PETRI NETS; DEPENDENCY RELATIONSHIP; INTERACTION TECHNIQUES; LIVENESS PROPERTIES; SIMULATION ENGINE;

PETRI NETS;

EID: 35248843991     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44919-1_28     Document Type: Article

References (9)

1. Jensen, K.: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Volumes 1-3. Monographs in Theoretical Computer Science. Springer-Verlag (1992-1997)
2. Kristensen, L.M., Christensen, S., Jensen, K.: The practitioner's guide to coloured Petri nets. International Journal on Software Tools for Technology Transfer 2 (1998) 98-132
3. Design/CPN. Online: http://www.daimi.au.dk/designCPN/.
4. Petri Nets Tool Database. Online: http://www.daimi.au.dk/PetriNets/tools/db.html.
5. CPN2000 Project. Online: http://www.daimi.au.dk/CPnets/CPN2000/.
6. Kurtenbach, G., Buxton, W.: User learning and performance with marking menus. In: Proceedings of Human Factors in Computing Systems, ACM (1994) 258-264 CHI'94.
7. Bier, E., Stone, M., Pier, K., Buxton, W., Rose, T.D.: Toolglass and magic lenses: the see-through interface. In: Proceedings of ACM SIGGRAPH, ACM Press (1993) 73-80
8. Standard ML of New Jersey. Online: http://cm.bell-labs.com/cm/cs/what/smlnj/.
9. Jensen, K., Christensen, S., Kristensen, L.M.: Design/CPN Occurrence Graph Manual. Department of Computer Science, University of Aarhus, Denmark. (1996) Online: http://www.daimi.au.dk/designCPN/man/.