Petri Net Model for Ricart and Agrawala’s Mutual Exclusion Algorithm
Vassilya Uzun · Bitlis Eren University Journal of Science and Technology · 2016
Issues involved in mutual exclusion and background of mutual exclusion are discussed.A Ricart and Agrawala mutual exclusion algorithm is investigated.Simulation model of the system based on Petri Nets is described.Simulation results are presented and evaluated