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: European symposium on computer aided process engineering - 11. 34th European symposium of the working party on computer aided process engineering. ESCAPE-11. Kolding, 2001. (Computer-aided chemical engineering, 9.).