K. H. Madsen, “A Conceptual Framework for the Characterization of Petri Net Description Techniques”, DPB, vol. 13, no. 176, May 1984.