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