|
|
|
|
|
|
|
|
|
|
|
Slides and Lecture notes
- In the first weeks I will use this set of slides
to introduce basic definitions:
- Place, transition, arc, token, marking, firing rule.
- Causality, conflict, concurrency.
- Deadlock-freeness, liveness, boundedness
- I will also use some examples from these old lecture notes in German.
(Don't worry, I'll explain them in English.)
- In the last part of the course I'll use material from these books:
Notice that you can download them directly (for free) through the links above.
- The Petri Nets World is a very nice site with lots of information on all aspects of Petri nets. In particular you can find there a list of Petri net tools.
- There are many tools for editing and analyzing Petri nets.
- A reasonable tool, very easy to install, although with some annoying bugs, is PIPE2 (Platform Independent Petri net Editor 2).
- CPNTools is a very sophisticated, more professionally developed, tool for coloured Petri nets. It is also very easy to install, but more difficult to understand!
- Handwritten notes:
- Backwards coverability algorithm:
- Abstract backwards reachability algorithm.
- The marking equation
- Place and transition invariants
- Structure theory
Exam
|
|
|
|
|
|
|
|
Contact
Teaching
