K. Jensen and M. Kyng, “Petri Nets and Semantics of System Descriptions”, DPB, vol. 9, no. 116, Apr. 1980.