Petri Nets (IN2052)
| Lecturer | Prof. Dr. Javier Esparza |
|---|---|
| Assistant | Valentin Krasotin |
| Duration | 4 SWS |
| Language of instruction | English |
Dates
Lectures and tutorials
- Tuesdays: 08:30-10:00, 03.09.014
- Thursdays: 14:15-15:45, 003, Hörsaal 2, "Interims II" (5416.01.003). The first lecture is on April 14!
We will try to have three lectures followed by one tutorial, but this will not always be possible. The planned schedule is as follows:
- Tuesday, April 14, 08:30-10:00: Lecture
- Thursday, April 16, 14:15-15:45: Lecture
- Tuesday, April 21, 08:30-10:00: Lecture
- Thursday, April 23, 14:15-15:45: Tutorial
- Tuesday, April 28, 08:30-10:00: Lecture
- Thursday, April 30, 14:15-15:45: Lecture
- Tuesday, May 5, 08:30-10:00: Lecture
- Thursday, May 7, 14:15-15:45: Tutorial
- Tuesday, May 12, 08:30-10:00: Lecture
- Tuesday, May 19, 08:30-10:00: Lecture
- Thursday, May 21, 14:15-15:45: Lecture
- Thursday, May 28, 14:15-15:45: Tutorial
- Tuesday, June 2, 08:30-10:00: Lecture
- Tuesday, June 9, 08:30-10:00: Lecture
- Thursday, June 11, 14:15-15:45: Tutorial
- Tuesday, June 16, 08:30-10:00: Lecture
- Thursday, June 18, 14:15-15:45: Lecture
- Tuesday, June 23, 08:30-10:00: Lecture
- Thursday, June 25, 14:15-15:45: Tutorial
- Tuesday, June 30, 08:30-10:00: Lecture
- Thursday, July 2, 14:15-15:45: Lecture
- Tuesday, July 7, 08:30-10:00: Lecture
- Thursday, July 9, 14:15-15:45: Tutorial
- Tuesday, July 14, 08:30-10:00: Lecture
- Thursday, July 16, 14:15-15:45: TBD
Content
Petri nets are a formal model for concurrent systems invented in the 1960s by Carl Adam Petri. Petri nets combine 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.
Petri nets provide a formal semantics for several industry standards like UML activity diagrams (a notation for the representation of workflows), or BPNM and EPCs, two languages for the description of business processes. They are also directly used to model and analyze manufacturing systems, communication protocols, hardware designs, business processes, and biological systems. The Petri net group at Aarhus University in Denmark maintains this web page with many case studies.
The course teaches the fundamentals of the theory of Petri nets. (This is a theory course!) It introduces several variants of Petri nets, but focuses on the most popular model, place-transition Petri nets. The course introduces the main techniques for analyzing and verifying properties of Petri nets:
- Reachability and coverability graphs
- Techniques based on well-quasi-orders
- Place and transition invariants, siphons and traps
- Structure theory: S-nets, T-nets, free-choice nets
Materials
You can find the exercise sheets and lecture notes on Moodle.
Past exams:
Exercises
Exercises are voluntary and do not account for the final grades. It is highly recommended to work on the exercises, as this is the best preparation for the exam.
Exam
The final grade is determined by a 75-minute written exam. The dates for the exam are:
- Endterm: August 4, 14:00-15:15, MW 1801
- Retake: October 1, 12:00-13:15, Rudolf-Mößbauer-Hörsaal
To prepare for the exam, you are strongly encouraged to go through the exercise sheets and take some past exams at home.