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