http://workcraft.org/ 2026-05-15T08:02:30+00:00 http://workcraft.org/ http://workcraft.org/_media/logo.svg text/html 2021-10-04T12:03:40+00:00 Anonymous (anonymous@undisclosed.example.com) http://workcraft.org/tutorial/model/dining_philosophers/start?rev=1633349020&do=diff Modelling with Petri nets: Dining philosophers In this tutorial we will use the famous Dining philosophers problem as an example of resource allocation problems where several processes compete for resources. It also illustrates the power and convenience of Petri nets as a formalism for modelling and analysis of such problems. There are five philosophers sitting around a table. Each philosopher is either thinking or eating. There are five forks on the table, one between each pair of adjacent phi…