Jensen, Kurt, Morten Kyng, and Ole Lehrmann Madsen. 1981. “A Petri Net Definition of a System Description Language”. DAIMI Report Series 8 (96). https://doi.org/10.7146/dpb.v8i96.6512.