Lecture 36
More on Petri Nets