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