Jensen, K. A Method to Compare the Descriptive Power of Different Types of Petri Nets. DPB 1981, 9.