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