Mohammad Al-Abadi, F.; فراس. Using the Petri Network to Organize Resource Sharing Between Two Processors. RJCSM 2009, 6, 123-133.