Slides from the CPN'04 Workshop

Invited Talks

Tutorial on Application of Coloured Petri Nets to Protocols
Jonathan Billington, University of South Australia, Adelaide, Australia
Lars M. Kristensen, University of Aarhus, Denmark
Slides from session 1: PDF
Slides from session 2: PDF
Slides from session 3: PDF
Slides from session 4: PDF, PowerPoint

Tutorial on UML and Coloured Petri Nets
Johan Lilius, Åbo Akademi University, Finland
Jianli Xu, Nokia Research Center, Helsinki, Finland
Didier Buchs, Levi Lúcio, and Luis Pedro, University of Geneva, Switzerland
Slides from session 1 & 2: PDF
Slides from session 3: PDF, PowerPoint
Slides from session 4: PDF, PowerPoint

Regular Talks

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
Slides: PDF, PowerPoint

Towards a Metodology for Modelling with Petri Nets
Christine Choppy, Laure Petrucci
Slides: PDF

Experince with Modelling TCP's Connection Management Procedures with CPNs
B. Han, J. Billington
Slides: PDF, PowerPoint

Application of Coloured Petri Nets in Systems Biology
Thomas Runge
Slides: PDF
Models: Design/CPN

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

Modelling Probalistic Inference using Coloured Petri Nets and Factor Graphs
Somsak Vanit-Anunchai, Jonathan Billington
Slides: PDF, PowerPoint

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

An Evaluation of Network Response Time using a Coloured Petri Net Model of Switched LAN
Dmitry A. Zaitsev
Slides: PDF, PowerPoint

A Formal Model for Information Risk Management Using Colored Petri Nets
Peter R. Stephenson
Slides: (talk was cancelled)

Relating Higher Order Reference Nets and Well-Formed Nets
Lawrence Cabac, Michael Köhler
Slides: PDF

A Unidirectional Transition Fusion for Coloured Petri Nets and its Implementation for the CPNTools
Joao Paulo Barros, Luis Gomes
Slides: PDF, PowerPoint
Models: CPN Tools

Bullwhip Effect and Supply Chain Modelling and Analysis using CPN Tools
Dragana Makajic-Nikolic, Biljana Panic, Mirko Vujosevic
Slides: PDF, PowerPoint
Models: CPN Tools