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