Mohammad Al-Abadi, F. (2009) “Using the Petri Network to Organize Resource Sharing between Two Processors”, AL-Rafidain Journal of Computer Sciences and Mathematics, 6(1), pp. 123–133. doi: 10.33899/csmj.2009.163790 .