Slides from the CPN'02 Workshop

Invited Talks

Workflow Patterns: On the Expressive Power of (Petri-net-based) Workflow Languages
Wil van der Aalst
Slides: PDF, PowerPoint

Model-based Operational Planning Using Coloured Petri Nets
Lin Zhang
Slides: PDF

Verification of Timed and Hybrid Systems
Kim Guldstrand Larsen
Slides: not available

Regular Talks

Using Design/CPN to Design a Visualisation Extension for Design/CPN
Lars Michael Kristensen
Slides: PDF

Annotating Coloured Petri Nets
Lisa Wells
Slides: PDF

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

Performance Study of Distributed Generation of State Spaces Using Colored Petri Nets
Wlodek Zuberek
Slides: PDF

Sweep-Line State Space Exploration for Coloured Petri Nets
Thomas Mailund
Slides: PDF

Coloured Petri Nets and State Space Generation with the Symmetry Method
Louise Elgaard
Slides: not available

Implementation of Workflow Systems using Reference Nets - Security and Operability Aspects
Daniel Moldt
Slides: not available