Jensen, K., & Kyng, M. (1980). Petri Nets and Semantics of System Descriptions. DAIMI Report Series, 9(116). https://doi.org/10.7146/dpb.v9i116.6534