In: KES 2008. 12th international conference on knowledge-based and intelligent information and engineering systems. Zagreb, 2008. Part 1. (Lecture notes in artificial ingelligence 5177.).
A procedure ontology for advanced diagnosis of process systems
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)