K. Jensen, “High-Level Petri Nets”, DPB, vol. 11, no. 151, Oct. 1984.