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