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