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

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  • Kurt Jensen
  • Søren Christensen
  • Katrine Ravn, Department of Computer Science, University of Aarhus, IT-parken, Aabogade 34, DK-8200 Aarhus N, Denmark
  • Anne Ratzer, Department of Computer Science, University of Aarhus, IT-parken, Aabogade 34, DK-8200 Aarhus N, Denmark
  • Stephanie Munck, Department of Computer Science, University of Aarhus, IT-parken, Aabogade 34, DK-8200 Aarhus N, Denmark
  • Kjeld Mortensen, Department of Computer Science, University of Aarhus, IT-parken, Aabogade 34, DK-8200 Aarhus N, Denmark
  • Kasper Lund, Department of Computer Science, University of Aarhus, IT-parken, Aabogade 34, DK-8200 Aarhus N, Denmark
  • Henry Michael Lassen, Denmark
  • Poul Jacecek, Department of Computer Science, University of Aarhus, IT-parken, Aabogade 34, DK-8200 Aarhus N, Denmark
  • Peter Andersen
  • Mads Jensen, Department of Computer Science, University of Aarhus, IT-parken, Aabogade 34, DK-8200 Aarhus N, Denmark
  • Wendy E. Mackay, Denmark
  • Michel Beaudouin-Lafon, Denmark
  • Department of Computer Science
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 languageEnglish
Title of host publicationTools and Algorithms for the Construction and Analysis of Systems
EditorsTiziana Margaria, Wang Yi
Number of pages4
PublisherSpringer
Publication year2001
Pages574-577
ISBN (print)978-3-540-41865-8
DOIs
Publication statusPublished - 2001
EventEuropean Joint Conferences on Theory and Practice of Software. ETAPS 2001 - Genova, Italy
Duration: 2 Apr 20016 Apr 2001
Conference number: 4

Conference

ConferenceEuropean Joint Conferences on Theory and Practice of Software. ETAPS 2001
Nummer4
LandItaly
ByGenova
Periode02/04/200106/04/2001
SeriesLecture Notes in Computer Science
Volume2031
ISSN0302-9743

See relations at Aarhus University Citationformats

ID: 16519458