TY  - BOOK
AU  - Düpmeier,C.
ED  - Kernforschungszentrum Karlsruhe
TI  - Algebraic specification and modelling in high level Petri nets with a state dependent firing rule
SN  - 0303-4003
PY  - 1994///
CY  - Karlsruhe
PB  - Kernforschungszentrum Karlsruhe
ER  -