Return to Article Details Using the Petri Network to Organize Resource Sharing between Two Processors Download Download PDF