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

Düpmeier, C.

Algebraic specification and modelling in high level Petri nets with a state dependent firing rule. - Karlsruhe : Kernforschungszentrum Karlsruhe, 1994. - 147 p.

0303-4003

KfK 5279