Slides from the CPN'06 Workshop

Tutorials

Regular Talks

From Task Descriptions via Coloured Petri Nets Towards an Implementation of a New Electronic Patient Record
Jens Bæk Jørgensen, Kristian Bisgaard Lassen, and Wil M. P. van der Aalst
Slides: PDF

A Coloured Petri Net Model of the Dynamic MANET On-demand Routing Protocol
Cong Yuan and Jonathan Billington
Slides: PDF

Mining CPN Models. Discovering Process Models with Data from Event Logs
A. Rozinat, R.S. Mans, and W.M.P. van der Aalst
Slides: PDF

Business Process Simulation
Monique Jansen-Vullers and Mariska Netjes
Slides: Powerpoint

BRITNeY Suite: A Platform for Experiments
M. Westergaard
Slides: PDF

Demonstration of CPN Tools Version 2.2
Lisa Wells
Model: QueueSystemParam.cpn

Future Plans for CPN Tools
Lisa Wells and Lars M. Kristensen
Slides: Powerpoint

Drawing of State Spaces
Thomas Vestergaard and Per Nielsen
Files: ZIP

Graphical Animation of Simulation Models
Thomas Vestergaard and Per Nielsen
Files: ZIP

Modelling Defence Logistics Networks
Guy Edward Gallasch, Nimrod Lilith, Jonathan Billington, Lin Zhang, Axel Bender, and Benjamin Francis
Slides: PDF

Protos2CPN: Using Colored Petri Nets for Configuring and Testing Business Processes
F. Gottschalk, W.M.P. van der Aalst, M.H. Jansen-Vullers, and H.M.W. Verbeek
Slides: PDF
Tool: Protos2CPN.zip
Webpage: http://www.floriangottschalk.de/protos2cpn

Sweep-line Analysis of DCCP Connection Management
Somsak Vanit-Anunchai, Jonathan Billington and Guy Edward Gallasch
Slides: Powerpoint

A CPN Model of a SIP-Based Dynamic Discovery Protocol for Webservices in a Mobile Environment
Vijay Gehlot and Anush Hayrapetyan
Slides: PDF

Design of Clearing and Settlement Operations: A Case Study in Business Process Modelling and Analysis with Petri Nets
Pieter M. Kwantes
Slides: Powerpoint

Some Rules to Transform Sequence Diagrams into Coloured Petri Nets
Oscar R. Ribeiro and Joao M. Fernandes
Slides: Powerpoint

Using Coloured Petri Nets to Simulate DoS-resistant protocols
Suratose Tritilanunt
Slides: Powerpoint

Game Coloured Petri Nets
M. Westergaard
Slides: PDF

CPN Model Presentations

Guy Edward Gallasch
Modelling tests for the absence of tokens
Model:

Dmitry A. Litvin
Model of MPLS-based network with implementation of QoS
Model:

Vijay Gehlot
Simulation Based Validation of a Dynamic Discovery Protocol
Model:

Ronny Mans
Modelling Business Processes with CPN
Example: rsmans-cpn06example.zip (instructions)
Slides: Powerpoint

Dennis Gamrad
Simulation of Cognitive Technical Systems with CPN-Tools using a Situation-Operator-Modelling Approach
Model: