Jensen, K. (2000) “Practical Use of High-level Petri Nets”, DAIMI Report Series, 29(547). doi: 10.7146/dpb.v29i547.7081.