Jensen, K. An Introduction to High-Level Petri Nets. DPB 1985, 14.