https://www.state-machine.com/qpn/dpp.html
QP-nano: Dining Philosophers Problem (DPP)
dining philosophers problemnanodpp
https://researcher.itu.dk/p/en/research-outputs/petri-net-modelling-of-different-strategies-in-argesim-comparison
Petri Net Modelling of Different Strategies in ARGESIM Comparison C4 "Dining Philosophers" with...
Petri Net Modelling of Different Strategies in ARGESIM Comparison C4 "Dining Philosophers" with HPSim
petri netdining philosophersmodellingdifferentstrategies