Jensen, Kurt, et al. “A Petri Net Definition of a System Description Language”. DAIMI Report Series, vol. 8, no. 96, Nov. 1981, doi:10.7146/dpb.v8i96.6512.