Papers accepted for CPN'06

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

Paper 02:
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
Paper, PDF file

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

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

Paper 05:
Business Process Simulation
Monique Jansen-Vullers and Mariska Netjes
Paper, PDF file

Paper 06:
The BRITNeY Suite: A Platform for Experiments
Michael Westergaard
Paper, PDF file

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

Paper 08:
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
Paper, PDF file

Paper 09:
Sweep-line Analysis of DCCP Connection Management
Somsak Vanit-Anunchai, Jonathan Billington and Guy Edward Gallasch
Paper, PDF file

Paper 10:
A Colored Petri Net Model of Cooperative Arrival Planning in Air Traffic Control
Hendrik Oberheid
Paper, PDF file

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

Paper 12:
Design of Clearing and settlement operations: A case study in business process modelling and analysis with Petri nets
Pieter M. Kwantes
Paper, PDF file

Paper 13:
Some Rules to Transform Sequence Diagrams into Coloured Petri Nets
Oscar R. Ribeiro and Joao M. Fernandes
Paper, PDF file

Invited Paper 14:
Inside LoLA - Experiences from Building a State Space Tool for Place Transition Nets
Karsten Wolf
Paper, PDF file

Paper 15:
Using Coloured Petri Nets to Simulate DoS-resistant protocols
Suratose Tritilanunt, Colin Boyd, Ernest Foo, and Juan Manuel Gonz?lez Nieto
Paper, PDF file

Paper 16:
Game Coloured Petri Nets
M. Westergaard
Paper, PDF file