Mohammad Al-Abadi, Firas. 2009. “Using the Petri Network to Organize Resource Sharing Between Two Processors”. AL-Rafidain Journal of Computer Sciences and Mathematics 6 (1):123-33. https://doi.org/10.33899/csmj.2009.163790 .