Jensen, K. “Practical Use of High-Level Petri Nets”. DAIMI Report Series, vol. 29, no. 547, June 2000, doi:10.7146/dpb.v29i547.7081.