Final Programme and Call for Participation

CPN'02

Fourth Workshop and Tutorial on Practical Use of
Coloured Petri Nets and the CPN Tools

August 28-30, 2002

Organised by the CPN group at the Department of Computer Science,
University of Aarhus, Denmark

Joint with MOCA'02

Deadline for registration: August 1, 2002

Further information:
URL: http://www.daimi.au.dk/CPnets/workshop02/
E-mail: CPNworkshop@daimi.au.dk

Coloured Petri Nets and the CPN tools are now used by more than 750 organisations in 50 different countries all over the world (including 150 commercial companies). The purpose of this event 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 the CPN tools.

The workshop takes place at the University of Aarhus, Denmark, and it is open for engineers, researchers and students at all levels. Aarhus is situated at the east coast of Jutland (the main land of Denmark). It is easily accessible by plane, train and car.

Programme

Wednesday, August 28

8.50-9.00: Welcome
Opening Session
Kurt Jensen (University of Aarhus)

9.00-10.00 Invited Talk (Chair: Kurt Jensen)
Workflow Patterns: On the Expressive Power of (Petri-net-based) Workflow Languages
Wil van der Aalst (TU Eindhoven)

10.00-10.30: Coffee and Tea

10.30-12.00 (Chair: Wlodek Zuberek)
Using Design/CPN to Design a Visualisation Extension for Design/CPN
Mathew Elliot, Jonathan Billington, and Lars Michael Kristensen (University of South Australia)

Annotating Coloured Petri Nets
Bo Lindstrøm and Lisa Wells (University of Aarhus)

12.00-13.30: Lunch

13.30-15.00: Tool Demonstration (Chair: Jorge C.A. de Figueiredo)
Demonstration of CPN Tools and Presentation of Plans for Future Development
Kurt Jensen and Michael Westergaard (University of Aarhus)

15.00-15.30: Coffee and Tea

15.30-17.00: PhD Defence (Chair: Mogens Nielsen)
Performance Analysis Using Coloured Petri Nets
Lisa M. Wells (University of Aarhus)

Thursday, August 29

9.00-10.00: Invited Talk (Chair: Søren Christensen)
Model-based Operational Planning Using Coloured Petri Nets
Lin Zhang (Defence Science and Technology Organisation, Australia)

10.00-10.30: Coffee and Tea

10.30-12.00 (Chair: Daniel Moldt)
Coloured Petri Nets in UML-Based Software Development - Designing Middleware for Pervasive Healthcare
Jens Bæk Jørgensen (University of Aarhus)

Performance Study of Distributed Generation of State Spaces Using Colored Petri Nets
Wlodek Zuberek (Memorial University of Nfld, Canada)

12.00-13.30: Lunch

13.30-14.00: Work in Progress (Chair: Kjeld H. Mortensen)
Towards the Formal Specification of the Internet Open Trading Protocol
Chun Ouyang (University of South Australia)

14.00-15.00: CPN Tools Hands-On Session
Try working with CPN Tools. Tutors will be available to assist you.

15.00-15.30: Coffee and Tea

15.30-17.00: PhD Defence (Chair: Mogens Nielsen)
Facilitating the Practical use of Coloured Petri Nets
Bo Lindstrøm (University of Aarhus)

19.00-24.00: Workshop Dinner

Friday, August 30

9.00-10.00: Invited Talk (Chair: Wil van der Aalst)
Verification of Timed and Hybrid Systems
Kim Guldstrand Larsen (Aalborg University, Denmark)

10.00-10.30: Coffee and Tea

10.30-12.00 (Chair: Rüdiger Valk)
Sweep-Line State Space Exploration for Coloured Petri Nets
Guy Edward Gallasch, Lars Michael Kristensen, and Thomas Mailund (University of South Australia, University of Aarhus)

Coloured Petri Nets and State Space Generation with the Symmetry Method
Louise Elgaard (University of Aarhus)

12.00-13.30: Lunch

13.30-14.15 (Chair: Lin Zhang)
Implementation of Workflow Systems using Reference Nets - Security and Operability Aspects
Thomas Jacob, Olaf Kummer, Daniel Moldt, and Ulrich Ultes-Nitsche (Universät Hamburg, Germany, University of Southampton, UK)

14.15-15.00: Closing Session

15.00-15.30: Coffee and Tea

15.30-17.00: PhD Defence (Chair: Mogens Nielsen)
The Symmetry Method for Coloured Petri Nets - Algorithms, Tools and Practical Use
Louise Elgaard (University of Aarhus)

The three PhD defences consist of a 45 minutes lecture providing an overview of the results obtained followed by 45 minutes of questioning and discussion. Both parts are open for the public, but it is probably the first half which is of most interest to the workshop participants. There is a short break between the two parts, so that it is possible to attend the first part and skip the second.

Programme Committee

 Jonathan Billington Australia       (j.billington@unisa.edu.au)
 Søren Christensen   Denmark         (schristensen@daimi.au.dk)
 Jorge de Figueiredo Brazil          (abrantes@dsc.ufpb.br)
 Nisse Husberg       Finland         (Nisse.Husberg@hut.fi)
 Kurt Jensen         Denmark (chair) (kjensen@daimi.au.dk)
 Daniel Moldt        Germany         (moldt@informatik.uni-hamburg.de)
 Laure Petrucci      France          (petrucci@lsv.ens-cachan.fr)
 Dan Simpson         UK              (Dan.Simpson@brighton.ac.uk)
 Edwin Stear         USA             (estear@aol.com)
 Robert Valette      France          (robert@laas.fr)
 Rüdiger Valk        Germany         (valk@informatik.uni-hamburg.de)
 Klaus Voss          Germany         (klaus.voss@gmd.de)
 Lee Wagenhals       USA             (lwagenha@gmu.edu)
 Jianli Xu           Finland         (jianli.xu@research.nokia.com)
 Wlodek Zuberek      Canada          (wlodek@cs.mun.ca)

Workshop Site

Registration and Accommodation

MOCA'02: Joint Workshop

MOCA'02, a workshop on Modelling of Objects, Components and Agents, is also held at University of Aarhus, August 26-27, just before CPN'02. For more information please refer to: http://www.informatik.uni-hamburg.de/TGI/events/moca02.
Last modified: Thu Aug 29 13:19:44 2002 -- CP-nets Webmaster
http://www.daimi.au.dk/CPnets/workshop02/cpn/programme.html