Algebraic specification and modelling in high level Petri nets with a state dependent firing rule. - Düpmeier, C. (Kernforschungszentrum Karlsruhe, 1994)