K. Jensen, “Practical Use of High-level Petri Nets”, DPB, vol. 29, no. 547, Jun. 2000.