CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets

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

  • Peter Andersen
  • Michel Beaudouin-Lafon, Université de Paris-Sud, France
  • Wendy E. Mackay, Massachusetts Istitute of Technology, United States
  • Paul Janecek, École Polytechnique Fédérale de Lausanne, France
  • Michael Lassen, Århus Area, Denmark
  • Mads Jensen, Aalborg University, Denmark
  • Kjeld Mortensen, IT chef at Agromat Data, Denmark
  • Stephanie Munck, Game programmer at Deadline Games, Copenhagen Area, Denmark
  • Anne Ratzer, Systems Engineer, Århus Area, Denmark
  • Katrine Ravn, User Experience Engineer, Århus Area, Denmark
  • Søren Christensen
  • Kurt Jensen
  • José Manuel Colom, GISED, Spain
  • Maciej Koutny, Computing Sciences, Newcastle University, United Kingdom
  • Department of Computer Science
CPN/Tools is a major redesign of the popular Design/CPN tool from the University of Aarhus CPN group. The new interface is based on advanced, post-WIMP 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. It also uses the new and much faster CPN simulator and features incremental syntax checking of the nets. CPN/Tools requires an OpenGL graphics accelerator and will run on all major platforms.
Original languageEnglish
Title of host publicationApplications and Theory of Petri Nets 2001
EditorsGerhard Goos, Juris Hartmanis, Jan van Leeuwen
Number of pages10
Publication year2001
ISBN (print)3-540-42252-8
Publication statusPublished - 2001
EventInternational Conference on Application and Theory of Petri Nets. ICATPN 2001 - Newcastle upon Tyne, United Kingdom
Duration: 25 Jun 200129 Jun 2001
Conference number: 22


ConferenceInternational Conference on Application and Theory of Petri Nets. ICATPN 2001
LandUnited Kingdom
ByNewcastle upon Tyne
SeriesLecture Notes in Computer Science

See relations at Aarhus University Citationformats

ID: 280251