In: Computer-intensive methods in control and data processing. Can we beat the course of dimensionality? CPM'98. Preprints of the 3rdEuropean IEEE workshop. Prague, 1998..
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)