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
Invariant inhesitance in structured operating procedures described by Petri nets. (Technical report of the Systems and Controls Laboratory, SCL-001-1997.)