Programme

CPN'04

Fifth Workshop and Tutorial on Practical Use of
Coloured Petri Nets and the CPN Tools

October 8-11, 2004

Programme

Sunday: Submitted Papers

Formal Specification and State Space Analysis of an Operational Planning Process
Brice Mitchell, Lars M. Kristensen, Lin Zhang

Experimenting with Progress Mappings for the Sweep-Line Analysis of the Internet Open Trading Protocol
Guy Edward Gallasch, Chun Ouyang, Jonathan Billington, Lars Michael Kristensen

Towards a Metodology for Modelling with Petri Nets
Christine Choppy and Laure Petrucci

10.30-11.00: Coffee and tea

11.00-12.30: Session 2

Experince with Modelling TCP's Connection Management Procedures with CPNs
B. Han and J. Billington

Application of Coloured Petri Nets in Systems Biology
Thomas Runge

Composite Event Specification in Active Database Systems: A Petri Nets Approach
Xiaoou Li, Joselito Medina Marín

12.30-14.00: Lunch

14.00-15.30: Session 3

Modelling Probalistic Inference using Coloured Petri Nets and Factor Graphs
Somsak Vanit-Anunchai and Jonathan Billington

An Efficient Algorithm for the Enabling Test of Colored Petri Nets
Sami Evangelista, Jean Francois Pradat-Peyre

An Evaluation of Network Response Time using a Coloured Petri Net Model of Switched LAN
Dmitry A. Zaitsev

15.30-16.00 Coffee and tea

16.00-17.30 Session 4

A Formal Model for Information Risk Management Using Colored Petri Nets
Peter R. Stephenson
(CANCELLED DUE TO UNFORESEEN CIRCUMSTANCES)

Relating Higher Order Reference Nets and Well-Formed Nets
Lawrence Cabac, Michael Kohler

A Unidirectional Transition Fusion for Coloured Petri Nets and its Implementation for the CPNTools
Joao Paulo Barros and Luis Gomes

Bullwhip Effect and Supply Chain Modelling and Analysis using CPN Tools
Dragana Makajic-Nikolic, Biljana Panic, Mirko Vujosevic

19.00-24.00 Workshop Dinner