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