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