Journals / Bitlis Eren University Journal of Science and Technology / 2016 / Cilt: 6 - Sayı: 1
Petri Net Model for Ricart and Agrawala’s Mutual Exclusion Algorithm
- Pages
- 16–21
- DOI
- —
Abstract
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.