Papers accepted for CPN'02

Note: To use the PDF files you have to install the free Acrobat Reader software. We also propose that you read our Acrobat Reader hints page.

Invited Talk:
Workflow Patterns: On the Expressive Power of (Petri-net-based) Workflow Languages
W.M.P. van der Aalst and A.H.M. ter Hofstede
PDF file

Using Design/CPN to Design a Visualisation Extension for Design/CPN
Mathew Elliot, Jonathan Billington and Lars Michael Kristensen
PDF file

Annotating Coloured Petri Nets
Bo Lindstrøm and Lisa Wells
PDF file

Invited Talk:
Model-based Operational Planning Using Coloured Petri Nets
Lin Zhang
PDF file

Coloured Petri Nets in UML-Based Software Development - Designing Middleware for Pervasive Healthcare
Jens Bæk Jørgensen
PDF file

Performance Study of Distributed Generation of State Spaces using Colored Petri Nets
Wlodek Zuberek
PDF file

Invited Talk:
Verification of Timed and Hybrid Systems
Kim Guldstrand Larsen
PDF file

Sweep-Line State Space Exploration for Coloured Petri Nets
Guy Edward Gallasch, Lars Michael Kristensen and Thomas Mailund
PDF file

Coloured Petri Nets and State Space Generation with the Symmetry Method
Louise Elgaard
PDF file

Implementation of Workflow Systems using Reference Nets - Security and Operability Aspects
Thomas Jacob, Olaf Kummer, Daniel Moldt, and Ulrich Ultes-Nitsche
PDF file