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