Using the Petri Network to Organize Resource Sharing between Two Processors. RJCSM. 2009;6(1):123-133. doi:10.33899/csmj.2009.163790