1. Using Petri Nets to model three dining philosophers without starvation.
2. And also two dining philosophers with starvation.