Jensen, K.; Kyng, M. Petri Nets and Semantics of System Descriptions. DPB 1980, 9.