Slide Sets for Coloured Petri Nets
This page contains a number of slide sets presenting different aspects of Coloured Petri Nets and their applications. You are welcome to use the slide sets in your own teaching. If you do so, please give credit to the person(s) who originally developed the slide set. For each slide set we present an abstract and a short description of format, size and prerequisites. We also offer references to or on-line versions of the publications on which the slide sets are based.Persons who want to contribute to this page by publishing their own slide sets should contact Kurt Jensen.
If you have technical problems downloading the slides sets, please contact the CP-nets Webmaster. If you have suggestions for improvements of a slide set or questions please contact the maintainer of the corresponding slide set (listed in the description of the slide set). This is also the person to contact, if you find errors or want additional information. This is also the place to complain, if you have technical problems using the slide set.
General
- Coloured Petri Nets and their Applications (Advanced Course, Eichstätt, September 2003)
- Coloured Petri Nets: Status and Outlook (Kurt Jensen)
- Introduction to Coloured Petri Nets (Kurt Jensen)
- Brief Introduction to Coloured Petri Nets (Kurt Jensen)
- An Informal Introduction to Hierarchical Coloured Petri Nets (Lars M. Kristensen)
- Timed Coloured Petri Nets (Lars M. Kristensen)
Applications
- Introduction to industrial examples
- Ad-hoc networking and IPv6 at Ericsson Telebit
- Pervasive health care at Aarhus County Hospital (to appear)
- Planning tool at the Australian Defence Force:
- Audio/Video communication protocols at Bang & Olufsen:
- Modelling Feature Interaction Patterns in Nokia Mobile Phones using Coloured Petri Nets and Design/CPN (Louise Lorentsen)
- An Improved Architectural Specification of the Internet Open Trading Protocol (Lars M. Kristensen)
- Modelling and Analysis of a Danfoss Flowmeter System using Coloured Petri Nets (Louise Lorentsen)
- Modelling and Analysis of a Flowmeter System (Louise Lorentsen)
- Equivalent Coloured Petri Net Models of a Class of Timed Influence Nets with Logic (Bo Lindstrøm)
State Spaces
- Introduction to State Spaces (Kurt Jensen)
- An Introduction to State Space Methods for Coloured Petri Nets (Lars M. Kristensen)
- State Space Methods for Coloured Petri Nets (Lars M. Kristensen)
- Sweep-Line Method State Space Exploration for Coloured Petri Nets (Lars M. Kristensen)
- A Sweep-Line Method for State Space Exploration (Lars M. Kristensen)
- The Symmetry Method for Coloured Petri Nets - Tools, Algorithms, and Practical Use (Louise Lorentsen)
- Finding Stubborn Sets of Coloured Petri Nets Without Unfolding (Lars M. Kristensen)
- Improved Question-Guided Stubborn Set Methods for State Properties (Lars M. Kristensen)
- Model Checking Coloured Petri Nets Exploiting Strongly Connected Components (Kjeld H. Mortensen)
Place Invariants
- Introduction to Place Invariants (Kurt Jensen)
- Exploiting Place Invariants in Condensed State Space Construction for Coloured Petri Nets (Lars M. Kristensen)
Tools
- Standard ML Programming for CPN Tools Users (Lars M. Kristensen)
- Automatic Code Generation Method Based on Coloured Petri Net Models Applied on an Access Control System (Kjeld H. Mortensen)
- Efficient Data-Structures and Algorithms for a Coloured Petri Nets Simulator (Kjeld H. Mortensen)
- Comms/CPN: A Communication Infrastructure for External Communication with Design/CPN (Lars M. Kristensen)
- Web-Based Interfaces for Simulation of Coloured Petri Net Models (Bo Lindstrøm)
Last modified: Thu Jun 3 13:02:06 2004 -- CP-nets Webmaster
http://www.daimi.au.dk/CPnets/