Madsen, K. H. “A Conceptual Framework for the Characterization of Petri Net Description Techniques”. DAIMI Report Series, vol. 13, no. 176, May 1984, doi:10.7146/dpb.v13i176.7451.