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