Mohammad Al-Abadi, F. and فراس 2009. Using the Petri Network to Organize Resource Sharing between Two Processors. AL-Rafidain Journal of Computer Sciences and Mathematics. 6, 1 (Jan. 2009), 123–133.