Jensen, K. “High-Level Petri Nets”. DAIMI Report Series, vol. 11, no. 151, Oct. 1984, doi:10.7146/dpb.v11i151.7425.