K. Jensen, “An Introduction to High-Level Petri Nets”, DPB, vol. 14, no. 197, Oct. 1985.