Jensen, K., Kyng, M., & Madsen, O. L. (1981). A Petri Net Definition of a System Description Language. DAIMI Report Series, 8(96). https://doi.org/10.7146/dpb.v8i96.6512