F. Mohammad Al-Abadi and فراس, “Using the Petri Network to Organize Resource Sharing between Two Processors”, RJCSM, vol. 6, no. 1, pp. 123–133, Jun. 2025.