Jensen, Kurt. 1981. “A Method to Compare the Descriptive Power of Different Types of Petri Nets”. DAIMI Report Series 9 (108). https://doi.org/10.7146/dpb.v9i108.6523.