CPN'08

Programme

Monday

9.00- 9.15: Registration open at the conference site
9.15-10.30: Invited tutorial

The ASAP Platform: Next Generation Tool Support for State Space Analysis of CPN Models
Michael Westergaard and Sami Evangelista, CPN Group University of Aarhus (ASCoVeCo)

This includes a presentation of the paper:

JoSEL: A Job Specification and Execution Language for Model Checking
Michael Westergaard and Lars Michael Kristensen

10.30-11.00: Coffee and tea
11.00-12.30: Invited tutorial (continued)

The ASAP Platform: Next Generation Tool Support for State Space Analysis of CPN Models
Michael Westergaard and Sami Evangelista, CPN Group University of Aarhus (ASCoVeCo)

12.30-13.30: Lunch
13.30-14.30: Session 1 (Chair: Kurt Jensen)

Formal Modeling and Analysis by Simulation of Data Paths in Digital Document Printer
Venkatesh Kannan, Wil M.P. van der Aalst, and Marc Voorhoeve

Application of Coloured Petri Net for Agent Control and Communication in the ABAsim Architecture
Antonín Kavieka and Michal Zarnay

14.30-15.00: Coffee and tea
15.00-??.??: Model presentations (Chair: Søren Christensen)

Several Similar Real-Time System Comparison. Conception and its Modelling using Coloured Petri Nets
Robertas Sunokas

Tuesday

The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection
Sami Evangelista, Michael Westergaard, and Lars Michael Kristensen

Two Interfaces to the CPN Tools Simulator
Michael Westergaard and Lars Michael Kristensen

10.30-11.00: Coffee and tea
11.00-12.00: Session 3 (Chair: Christine Choppy)

Modeling Bus Communication Protocol Using Timed Colored Petri Nets - Controller Area Network Example
Marko Bago, Nedjeljko Peric, and Sinisa Marijan

Banker's Algorithm Implementation in CPN Tools
Michal Zarnay

12.00-13.00: Lunch
13.00-14.00: Invited tutorial (Chair: Søren Christensen)

Bigraphical Business Processes Execution
Thomas Hildebrandt

14.00-14.30: Coffee and tea
14.30-16.30: PhD defence by Kristian Bisgaard Lassen

Using Formal Behavioral Models in Software Development:
From Real-World Problems to Software Systems

Wednesday

Model Transformations for Business Process Analysis and Execution
Marlon Dumas, University of Tartu, Estonia and Queensland University of Technology, Australia

10.30-11.00: Coffee and tea
11.00-12.30: Invited tutorial (continued)

Model Transformations for Business Process Analysis and Execution
Marlon Dumas, University of Tartu, Estonia and Queensland University of Technology, Australia

12.30-13.30: Lunch
13.30-15.00: Session 4 (Chair: Lars Michael Kristensen)

Augmenting a Workflow Management System with Planning Facilities using Coloured Petri Nets
R.S. Mans, N.C. Russell, W.M.P. van der Aalst, A.J. Moleman, and P.J.M. Bakker

Towards Formal Model and Analysis of SCTP Connection Management
Somsak Vanit-Anunchai

A discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example
Fabien Bonnefoi, Christine Choppy, and Fabrice Kordon