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