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

Kurt Jensen; Søren Christensen; Katrine Ravn; Anne Ratzer; Stephanie Munck; Kjeld Mortensen; Kasper Lund; Henry Michael Lassen; Poul Jacecek; Peter Andersen; Mads Jensen; Wendy E. Mackay; Michel Beaudouin-Lafon

doi:10.1007/3-540-45319-9_39

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

Kurt Jensen
, Søren Christensen
, Katrine Ravn
, Anne Ratzer
, Stephanie Munck
, Kjeld Mortensen
, Kasper Lund
, Henry Michael Lassen
, Poul Jacecek
, Peter Andersen
, Mads Jensen
, Wendy E. Mackay
, Michel Beaudouin-Lafon

Department of Computer Science

Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

14 Citations (Scopus)

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).

Original language	English
Title of host publication	Tools and Algorithms for the Construction and Analysis of Systems
Editors	Tiziana Margaria, Wang Yi
Number of pages	4
Publisher	Springer
Publication date	2001
Pages	574-577
ISBN (Print)	978-3-540-41865-8
DOIs	https://doi.org/10.1007/3-540-45319-9_39
Publication status	Published - 2001
Event	European Joint Conferences on Theory and Practice of Software. ETAPS 2001 - Genova, Italy Duration: 2 Apr 2001 → 6 Apr 2001 Conference number: 4

Conference

Conference	European Joint Conferences on Theory and Practice of Software. ETAPS 2001
Number	4
Country/Territory	Italy
City	Genova
Period	02/04/2001 → 06/04/2001

Series	Lecture Notes in Computer Science
Volume	2031
ISSN	0302-9743

Access to Document

10.1007/3-540-45319-9_39

Library access?

Check availability with the Royal Danish Library

Cite this

Jensen, K., Christensen, S., Ravn, K., Ratzer, A., Munck, S., Mortensen, K., Lund, K., Lassen, H. M., Jacecek, P., Andersen, P., Jensen, M., Mackay, W. E., & Beaudouin-Lafon, M. (2001). CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets: ETAPS Tool Demonstration Related to TACAS. In T. Margaria, & W. Yi (Eds.), Tools and Algorithms for the Construction and Analysis of Systems (pp. 574-577). Springer. https://doi.org/10.1007/3-540-45319-9_39

@inproceedings{0a85fd20567111de8dc9000ea68e967b,

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

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).",

author = "Kurt Jensen and S{\o}ren Christensen and Katrine Ravn and Anne Ratzer and Stephanie Munck and Kjeld Mortensen and Kasper Lund and Lassen, \{Henry Michael\} and Poul Jacecek and Peter Andersen and Mads Jensen and Mackay, \{Wendy E.\} and Michel Beaudouin-Lafon",

note = "7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001; European Joint Conferences on Theory and Practice of Software. ETAPS 2001 ; Conference date: 02-04-2001 Through 06-04-2001",

year = "2001",

doi = "10.1007/3-540-45319-9\_39",

language = "English",

isbn = "978-3-540-41865-8",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "574--577",

editor = "Tiziana Margaria and Wang Yi",

booktitle = "Tools and Algorithms for the Construction and Analysis of Systems",

address = "Netherlands",

}

Jensen, K , Christensen, S, Ravn, K, Ratzer, A, Munck, S, Mortensen, K, Lund, K, Lassen, HM, Jacecek, P, Andersen, P, Jensen, M, Mackay, WE & Beaudouin-Lafon, M 2001, CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets: ETAPS Tool Demonstration Related to TACAS. in T Margaria & W Yi (eds), Tools and Algorithms for the Construction and Analysis of Systems. Springer, Lecture Notes in Computer Science, vol. 2031, pp. 574-577, European Joint Conferences on Theory and Practice of Software. ETAPS 2001, Genova, Italy, 02/04/2001. https://doi.org/10.1007/3-540-45319-9_39

CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets: ETAPS Tool Demonstration Related to TACAS. / Jensen, Kurt ; Christensen, Søren; Ravn, Katrine et al.
Tools and Algorithms for the Construction and Analysis of Systems. ed. / Tiziana Margaria; Wang Yi. Springer, 2001. p. 574-577 (Lecture Notes in Computer Science, Vol. 2031).

Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets

T2 - European Joint Conferences on Theory and Practice of Software. ETAPS 2001

AU - Jensen, Kurt

AU - Christensen, Søren

AU - Ravn, Katrine

AU - Ratzer, Anne

AU - Munck, Stephanie

AU - Mortensen, Kjeld

AU - Lund, Kasper

AU - Lassen, Henry Michael

AU - Jacecek, Poul

AU - Andersen, Peter

AU - Jensen, Mads

AU - Mackay, Wendy E.

AU - Beaudouin-Lafon, Michel

N1 - Conference code: 4

PY - 2001

Y1 - 2001

N2 - 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).

AB - 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).

U2 - 10.1007/3-540-45319-9_39

DO - 10.1007/3-540-45319-9_39

M3 - Article in proceedings

SN - 978-3-540-41865-8

T3 - Lecture Notes in Computer Science

SP - 574

EP - 577

BT - Tools and Algorithms for the Construction and Analysis of Systems

A2 - Margaria, Tiziana

A2 - Yi, Wang

PB - Springer

Y2 - 2 April 2001 through 6 April 2001

ER -

Jensen K , Christensen S, Ravn K, Ratzer A, Munck S, Mortensen K et al. CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets: ETAPS Tool Demonstration Related to TACAS. In Margaria T, Yi W, editors, Tools and Algorithms for the Construction and Analysis of Systems. Springer. 2001. p. 574-577. (Lecture Notes in Computer Science, Vol. 2031). doi: 10.1007/3-540-45319-9_39

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

Abstract

Conference

Access to Document

Library access?

Fingerprint

Cite this