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: 30th European Simulation and Modeling Conference - ESM'16 European Multidisciplinary Society for Modelling and Simulation Technology (EUROSIS), Las Palmas, pp. 91-95.
Colored Petri Net Based Diagnosis of Process Systems