Madsen, K. H. A Conceptual Framework for the Characterization of Petri Net Description Techniques. DPB 1984, 13.