CPN'06

Programme

Tuesday

8.30-9.15: Registration open at the conference site
9.15-9.30: Opening Session
9.30-10.30: Session 1 (Chair: Jonathan Billington)

Modelbased Development of a Course of Action Scheduling Tool
Lars M. Kristensen, Peter Mechlenborg, Lin Zhang, Brice Mitchell, and Guy E. Gallasch

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

10.30-11.00: Coffee and Tea
11.00-12.00: Session 2 (Chair: Laure Petrucci)

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

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

12.00-13.00: Lunch
13.00-14.00: Session 3 (Chair: Joao M. Fernandes)

Business Process Simulation
Monique Jansen-Vullers and Mariska Netjes

BRITNeY Suite: A Platform for Experiments
M. Westergaard

14.00-14.30: Coffee and Tea
14.30-15.30: Tutorial on CPN Tools (Chair: Guy Gallasch)

Demonstration of CPN Tools Version 2.2
Lisa Wells

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

15.30-16.00: Coffee and Tea
16.00-17.00: Tutorial on CPN Tools (continued)

Drawing of State Spaces
Thomas Vestergaard and Per Nielsen

Graphical Animation of Simulation Models
Thomas Vestergaard and Per Nielsen

Wednesday

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

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

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

10.30-11.00: Coffee and Tea
11.00-12.00: Session 5 (Chair: Wil van der Aalst)

A Colored Petri Net Model of Cooperative Arrival Planning in Air Traffic Control
Hendrik Oberheid

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

12.00-13.00: Lunch
13.00-14.00: Session 6 (Chair: Daniel Moldt)

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

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

14.00-14.30: Coffee and Tea
14.30-15.30: CPN Model Presentations (Chair: Søren Christensen)

In this session participants are invited to give a brief presentation of one of their own CPN Tools models to obtain feedback from other participants and members of the CPN group.

Marko Jovanovic
Usage of CPN tools in Ivkovic Company

Guy Edward Gallasch
Modelling tests for the absence of tokens

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

15.30-16.00: Coffee and Tea
16.00-17.00: CPN Model Presentations (continued)

Vijay Gehlot
Simulation Based Validation of a Dynamic Discovery Protocol

Ronny Mans
Modelling Business Processes with CPN

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

Thursday

Inside LoLA - Experiences from Building a State Space Tool for Place Transition Nets
Karsten Wolf, University of Rostock, Germany

10.30-11.00: Coffee and Tea
11.00-12.00: Invited Tutorial (continued)
12.00-13.00: Lunch
13.00-14.00: Session 7 (Chair: Jens Bæk Jørgensen)

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

Game Coloured Petri Nets
M. Westergaard

14.00-14.30: Coffee and Tea
14.30-15.00: Closing Session