A GRAPHICAL ANALYZER FOR HIGH-LEVEL PETRI NETS WITH STATE DEPENDANT FIRING RULE.. - Süß, W. (KERNFORSCHUNGSZETRUM KARLSRUHE, 1993)