Using the Petri Network to Organize Resource Sharing between Two Processors. (2009). AL-Rafidain Journal of Computer Sciences and Mathematics, 6(1), 123-133. https://doi.org/10.33899/csmj.2009.163790