CPN'05

Programme

Monday

8.30-9.15: Registration open at the conference site
9.15-9.30: Opening session
9.30-10.15: Overview of workflow management and workflow management systems (Wil M.P. van der Aalst)
10.15-10.30: Coffee and tea
10.30-11.30: Task descriptions as functional requirements (Søren Lauesen)
11.30-12.30: Workflow management systems (Wil M.P. van der Aalst)
12.30-14.00: Lunch
14.00-15.00: From data perspective to process perspective (Jacob Bloch Andreasen, Bankdata)
15.00-15.15: Coffee and tea
15.15-16.15: CPN workflow models as functional requirements (Jens Bæk Jørgensen)
16.15-16.30: Coffee and tea
16.30-17.30: Analysis and research challenges (Wil M.P. van der Aalst)

Tuesday

9.00-10.30: Session 1 (Chair: Laure Petrucci)

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

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

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

10.30-11.00: Coffee and tea
11.00-12.30: Session 2 (Chair: Daniel Moldt)

Enhancing the CES Protocol and its Verification
Lin Liu, Jonathan Billington

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

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

12.30-13.30: Lunch
13.30-15.30: Tutorial on CPN Tools (Chair: Wil M.P. van der Aalst)

New Features in CPN Tools
Lea Troels Møller Pedersen, Thomas Vestergaard

Performance Analysis and Monitoring Facilitites
Lisa Wells

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

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

17.00-19.00: CPN Tools "Hands-on" seesion
19.00-24.00 Conference Dinner

Wednesday

9.00-10.30: Session 3 (Chair: Lars M. Kristensen)

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

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

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

10.30-11.00: Coffee and tea
11.00-12.30: Session 4 (Chair: Joao M. Fernandes)

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

Modeling the Case Handling Principles with Colored Petri Nets
Christian W. Gunther, Wil M.P. van der Aalst

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

12.30-13.30: Lunch
13.30-15.00: Session 5 (Chair: Lisa Wells)

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

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

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

15.00-15.30: Closing session