Jensen, K. High-Level Petri Nets. DPB 1984, 11.