Jensen, K. Practical Use of High-Level Petri Nets. DPB 2000, 29.