Slides from the CPN'01 Workshop

This page contains slides from invited talks of CPN'01.

Invited Talks

Symbolic Analysis of Coloured Nets
Hartmann Genrich
Slides (PDF)
Diagrams (PDF)

Stochastic Well Formed Nets: An Overview
Giuliana Franceschinis
Slides (PowerPoint)

Tutorials

Sweep-Line State Space Exploration for Coloured Petri Nets
Lars Michael Kristensen
Slides (PDF)

Regular Talks

Modelling Feature Interaction Patterns in Nokia Mobile Phones using Coloured Petri Nets and Design/CPN
Louise Lorentsen, Antti-Pekka Touvinene, and Jianli Xu
Slides (PowerPoint)

Modelling and Analysis of the CES Protocol of H.245
Lin Liu and Jonathan Billington
Slides (PowerPoint)

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

An Improved Architectual Specification of the Internet Open Trading Protocol
Chun Ouyang, Lars Michael Kristensen, and Jonathan Billington
Slides (PDF)

Efficient Data-Structures and Algorithms for a Coloured Petri Nets Simulator
Kjeld H. Mortensen
Slides (PostScript)

Comms/CPN: A Communication Infrastructure for External Communication with Design/CPN
Guy Gallasch and Lars M. Kristensen
Slides (PDF)

Last modified: Fri Oct 5 10:29:43 2001 -- CP-nets Webmaster
http://www.daimi.au.dk/CPnets/workshop01/cpnslides/