Slides from the CPN'05 Workshop

Invited Talks

Overview of workflow management and workflow management systems
Wil M. P. van der Aalst, Technical University of Eindhoven, Netherlands
Slides from session: PDF, PowerPoint

Tutorial on Task descriptions as functional requirements
Søren Lauesen, IT University of Copenhagen, Denmark
Slides from session: PDF, PowerPoint

Workflow management systems
Wil M. P. van der Aalst, Technical University of Eindhoven, Netherlands
Slides from session: PDF, PowerPoint

From data perspective to process perspective
Jacob Block Andreasen, Bankdata, Denmark
Slides from session: PDF, PowerPoint

CPN workflow models as functional requirements
Jens Bæk Jørgensen, University of Aarhus, Denmark
Slides from session: PDF, PowerPoint

Analysis and research challenges
Wil M. P. van der Aalst, Technical University of Eindhoven, Netherlands
Slides from session: PDF, PowerPoint

Tutorials

Regular Talks

Checking Language Inclusion On-The-Fly with the Sweep-line Method
Guy Edward Gallasch, Somsak Vanit-Anunchai, Jonathan Billington, and Lars Michael Kristensen
Slides: PDF, PowerPoint

Business Process Redesign at a Mental Healthcare Institute: A Coloured Petri Net Approach
M.H.Jansen-Vullers, H.A. Reijers
Slides: PDF, PowerPoint

Towards a Pattern Language for Colored Petri Nets
Nataliya Mulyar, Wil M.P. van der Aalst
Slides: PDF, PowerPoint

Synthesis of Active Controller for Resources Allocation Systems
B. Zouari, S. Zairi
Slides: PDF

Enhancing the CES Protocol and its Verification
Lin Liu, Jonathan Billington
Slides: PDF, PowerPoint

Modelling a Product Based Workflow System in CPN Tools
Irene Vanderfeesten, Wil M.P. van der Aalst, Hajo Reijers
Slides: PDF, PowerPoint
Models: CPN Tools

An Abstract Model of Routing in Mobile Ad Hoc Networks
Cong Yuan, Jonathan Billington, Joern Freiheit
Slides: PDF, PowerPoint

Modeling Work Distribution Mechanisms Using Colored Petri Nets
M. Pesic, Wil M.P. van der Aalst
Slides: PDF

Process Mining: Using CPN Tools to Create Test Logs for Mining Algorithms
A.K. Alves de Medeiros, C.W. Gunther
Slides: PDF

Distributed and Modular State Space Exploration for Timed Petri Nets
C. Lakos and L. Petrucci
Slides: PDF

Modeling the Case Handling Principles with Colored Petri Nets
Christian W. Gunther, Wil M.P. van der Aalst
Slides: PDF
Models: CPN Tools

Execution of UML Models with CPN Tools for Workflow Requirements Validation
Ricardo J. Machado, Kristian Bisgaard Lassen, Sérgio Oliveira, Marco Couto, Patrícia Pinto
Slides: PowerPoint
Models: CPN Tools

Analysis of Resource-Constrained Processes with Colored Petri Nets
Mariska Netjes, Wil M.P. van der Aalst and Hajo Reijers
Slides: PDF, PowerPoint
Models: CPN Tools (version > 1.4.0)

Colored Petri Net Based Model Checking and Failure Analysis for E-commerce Protocols
Panagiotis Katsaros, Vasilis Odontidis, Maria Gousidou-Koutita
Slides: PDF, PowerPoint
Models: CPN Tools

Application of Coloured Petri Nets in Cooperative Provision of Industrial Services
Katrin Winkelmann
Slides: PDF