Mohammad Al-Abadi, F. “Using the Petri Network to Organize Resource Sharing Between Two Processors”. AL-Rafidain Journal of Computer Sciences and Mathematics, vol. 6, no. 1, Jan. 2009, pp. 123-3, doi:10.33899/csmj.2009.163790 .