Petri Nets 2013

News | Dates | Grading | Content | Material

Petri nets are a formal model for concurrent systems. Their strengths are a simple, clear graphical notation with a precise semantics, and a wealth of available techniques for analysis and verification. The structure of Petri nets intuitively visualizes fundamental concepts of concurrency such as causality and conflict.

The course teaches the fundamentals of the theory of Petri nets. It introduces several variants of Petri nets and techniques for analysing and verifying them

1. Reachability and coverability graphs
2. Place and transition invariants
3. Siphons and Traps
4. Structure theory: Marked Graphs and Free Choice nets
5. Net Unfoldings