Dergiler / Bitlis Eren University Journal of Science and Technology / 2016 / Cilt: 6 - Sayı: 1

Petri Net Model for Ricart and Agrawala’s Mutual Exclusion Algorithm

Sayfa
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.