CPN'07

Programme

Monday

9.00- 9.15: Registration open at the conference site
9.15-10.30: Invited tutorial (Chair: Laure Petrucci)

The ASAP Platform: Next Generation Tool Support for State Space Analysis
Lars M. Kristensen, CPN Group Univesity of Aarhus (ASCoVeCo)

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

The ASAP Platform: Next Generation Tool Support for State Space Analysis
Lars M. Kristensen, CPN Group Univesity of Aarhus (ASCoVeCo)

12.00-13.00: Lunch
13.00-14.30: Session 1 (Chair: Ekkart Kindler)

Towards Formal Specification and Validation of Secure Connection Establishment in a Generic Access Network Scenario
Paul Fleischer and Lars M. Kristensen

Towards Modeling and Simulating a Multi-party Negotiation Protocol with Colored Petri Nets
E. Bacarin, W.M.P van der Aalst, E. Madeira and C. B. Medeiros

Effectiveness of Coloured Petri Nets for Modelling and Analysing the Contract Net Protocol
Amar Gupta and Jonathan Billington

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

Marko Bago
Modeling communication protocols using Colored Petri Nets.

Michal Zarnay
CPN Model of Railway Marshalling Yard Technology.

Michal Zarnay
CPN Model of Simple Transportation System with Banker's Algorithm for Avoiding Deadlock.

Abstracts for the model presentation can be found here.

Tuesday

Modeling Grid Workflows with Colored Petri Nets
Carmen Bratosin, Wil van der Aalst and Natalia Sidorova

Overcoming Failures in Composite Web Services by Analysing Colored Petri Nets
Karolina Zurowska, Ralph Deters

newYAWL: Specifying a Workflow Reference Language using Coloured Petri Nets
Nick Russell, Arthur H.M. ter Hofstede and Wil M.P. van der Aalst

10.30-11.00: Coffee and tea
11.00-12.00: Session 2 (Chair: John Mølgaard)

Translating Colored Control Flow Nets into Readable Java via Annotated Java Workflow Nets
Kristian Bisgaard Lassen and Simon Tjell

CPNunf: A tool for McMillan's Unfolding of Coloured Petri Nets
Visar Januzaj

12.00-13.00: Lunch
13.00-14.00: Session 3 (Chair: João M. Fernandes)

Designing Coloured Petri Net Models: a Method
Christine Choppy, Laure Petrucci and Gianna Reggio

From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems
R.S. Mans, W.M.P. van der Aalst, P.J.M. Bakker, A.J. Moleman, K.B. Lassen and J.B. Jørgensen

14.00-14.30: Coffee and tea
14.30-16.30: PhD defence by Michael Westergaard

Looking Good, Behaving Well
Behavioural Verification and Visualisation of Formal Models of Concurrent Systems

16.30-18.00: PhD reception of Michael Westergaard
18.00-23.00: Workshop dinner

Wednesday

Component Tools: A Frontend for Formal Methods
Ekkart Kindler, Technical University of Denmark, Copenhagen

10.30-11.00: Coffee and tea
11.00-12.00: Invited tututorial (continued)

Component Tools: A Frontend for Formal Methods
Ekkart Kindler, Technical University of Denmark, Copenhagen

12.00-13.00: Lunch
13.00-14.30: Session 1 (Chair: Karsen Wolf)

Requirements Engineering for Reactive Systems with Coloured Petri Nets: the Gas Pump Controller Example
João M. Fernandes, Simon Tjell and Jens Bæk Jørgensen

On the Use of Coloured Petri Nets for Visual Animation
Óscar R. Ribeiro and João M. Fernandes

Towards Modelling and Verification of the DYMO Routing Protocol for Mobile Ad-hoc Networks
Kristian L. Espensen, Mads K. Kjeldsen and Lars M. Kristensen