Papers accepted for CPN'05

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

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

Towards a Pattern Language for Colored Petri Nets
Nataliya Mulyar and Wil M.P. van der Aalst
PDF file

Enhancing the CES Protocol and its Verification
Lin Liu and Johathan Billington
PDF file

Synthesis of Active Controller for Resources Allocation Systems
B. Zouari and S. Zairi
PDF file

Modelling a Product Based Workflow System in CPN tools
Irene Vanderfeesten, Wil van der Aalst, and Hajo A. Reijers
PDF file

Building and Deploying Visualizations of Coloured Petri Net Models Using BRITNeY Animation and CPN Tools
Michael Westergaard and Kristian Bisgaard Lassen
PDF file

An Abstract Model of Routing in Mobile Ad Hoc Networks
Cong Yuan, Jonathan Billington, and Jörn Freiheit
PDF file

Modeling Work Distribution Mechanisms Using Colored Petri Nets
M. Pesic and W.M.P. van der Aalst
PDF file

Process Mining: Using CPN Tools to Create Test Logs for Mining Algorithms
A.K. Alves de Medeiros and C.W. Günther
PDF file

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

Modeling the Case Handling Principles with Colored Petri Nets
Christian W. Günther and Wil M.P. van der Aalst
PDF file

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

Analysis of Resource-Constrained Processes with Colored Petri Nets
Mariska Netjes, Wil M.P. van der Aalst, and Hajo A. Reijers
PDF file

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

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