Jensen, K. (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