COMPUTERS & CHEMICAL ENGINEERING, 18 (Suppl.)., pp. S565-S569.
Qualitative model based verification of operating procedures by high level Petri nets.( ESCAPE-3. European symposium on computer aided process engineering-3)
In: DYCORD+'95. 4th IFAC symposium on dynamics and control of chemical reactors, distillation columns, and bath processes. Preprints. Copenhagen, 1995.