Papers accepted for CPN'04

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

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
PDF file
PS file

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

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

Application of Coloured Petri Nets in Systems Biology
Thomas Runge
PDF file

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

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

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

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

A Formal Model for Information Risk Analysis Using Colored Petri Nets
Peter. R. Stephenson
PDF file

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

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

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