No. 176 (1984): PB-176 A Conceptual Framework for the Characterization of Petri Net Description Techniques