Weekly Notes for Week 24
This week we finish the discussion of rings and cycle bases. In particular, we will discuss the Berger–Gritzmann–de Vries invariant.
We will then start with Petri nets.
-
Slides and reading:
- Ring-perception notes
- Cycle-basis slides
- Berger, Gritzmann, and de Vries, Minimum Cycle Bases and Their Applications
- Berger–Gritzmann–de Vries Cycle Invariants: worked examples
- Petri-net slides
- Murata, Petri Nets: Properties, Analysis and Applications
- Esparza, Decidability and Complexity of Petri Net Problems
-
Exercises: