Similar Items: Algebraic specification and modelling in high level Petri nets with a state dependent firing rule.

Author: Kernforschungszentrum Karlsruhe