Ninth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: Aarhus, Denmark, October 20-22, 2008

Research output: Working paperResearch

Documents

  • Full text

    Final published version, 10.6 MB, PDF document

  • Department of Computer Science

This booklet contains the proceedings of the Ninth Workshop on Pratical Use of Coloured Petri Nets and CPN Tools, October 20-22, 2008. The workshop is organised by the CPN group at the Department of Computer Science, Aarhus University, Denmark.

Coloured Petri Nets and the CPN Tools are now licensed to more than 7,200 users in 138 countries. The aim of the workshop is to bring together some of the users and in this way provide a forum for those who are interested in the practical use of Coloured Petri nets and their tools. The submitted papers were evaluated by a programme committee with the following members:

Wil van der Aalst, Netherlands

João Paulo Barros, Protugal

Jörg Desel, Germany

Joao M. Fernandes, Portugal

Jorge de Figueiredo, Brazil

Monika Heiner, Germany

Kurt Jensen, Denmark (chair)

Ekkart Kindler, Denmark

Lars M. Kristensen, Denmark

Charles Lakos, Australia

Johan Lilius, Finland

Daniel Moldt, Gremany

Laure Petrucci, France

Rüdiger Vlak, Germany

Lee Wagenhals, USA

Karsten Wolf, Germany

Jianli Xu, Finland

The programme committee has accepted 10 papers for presentation. Most of these deal with different projects in which Coloured Petri Nets and their tools have been put to practical use -- often in an industrial setting. The remaining papers deal with different extensions of tools and methodology.

The papers from the first eight CPN Workshops can be found via web pages: http://www.daimi.au.dk/CPnets/. After an additional round of reviewing and revision, some of the papers have been published in four special sections in the International Journal on Software Tools for Technology Transfer (STTT). For more information see: www.sttt.cs.uni-dortmund.de/. After an additional round of reviewing and revision, some of the papers from this years workshop will be published in Transactions of Petri Nets and Other Models of Concurrency (ToPNoC) which is new journal subline of Lecture Notes in Computer Science. For more information see: www.springer.com/lncs/topnoc.

Kurt Jensen

PC and OC chair

Original languageEnglish
PublisherDepartment of Computer Science, Aarhus University
Number of pages201
Publication statusPublished - 2008
SeriesDAIMI PB
Number588

See relations at Aarhus University Citationformats

Download statistics

No data available

ID: 20318826