Text this: A GRAPHICAL ANALYZER FOR HIGH-LEVEL PETRI NETS WITH STATE DEPENDANT FIRING RULE..