Monitors in Uppaal

• 4.4 Dining Philosophers with monitor (Nutt).xml, 4.4 Dining Philosophers with monitor (Nutt).q
• 4.4 Dining Philosophers with monitor (with doorman).xml, 4.4 Dining Philosophers with monitor (with doorman).q