Papers accepted for CPN'01

Note: To use the PDF files you have to install the free Acrobat Reader software. We also propose that you read our Acrobat Reader hints page.

The full proceedings:
PDF file

Paper 01:
Modelling Feature Interaction Patterns in Nokia Mobile Phones using Coloured Petri Nets and Design/CPN
Louise Lorentsen, Antti-Pekka Touvinene, and Jianli Xu
PDF file

Paper 02:
Modelling and Analysis of the CES Protocol of H.245
Lin Liu and Jonathan Billington
PDF file

Paper 03:
Equvivalent Coloured Petri Nets Models of a Class of Timed Influence Nets with Logic
Bo Lindstrøm and Sajjad Haider
PDF file

Paper 04:
Analysis and Simulation of Steady States in Metabolic Pathways with Petri Nets
Monika Heiner, Ina Koch, and Klaus Voss
PDF file

Paper 05:
An Improved Architectual Specification of the Internet Open Trading Protocol
Chun Ouyang, Lars Michael Kristensen, and Jonathan Billington
PDF file

Paper 06:
Efficient Data-Structures and Algorithms for a Coloured Petri Nets Simulator
Kjeld H. Mortensen
PDF file (Errata)

Paper 07:
Comms/CPN: A Communication Infrastructure for External Communication with Design/CPN
Guy Gallasch and Lars M. Kristensen
PDF file