“Using the Petri Network to Organize Resource Sharing between Two Processors”, RJCSM, vol. 6, no. 1, pp. 123–133, Jan. 2009, doi: 10.33899/csmj.2009.163790 .