In: European symposium on computer aided process engineering - 11. 34th European symposium of the working party on computer aided process engineering. ESCAPE-11. Kolding, 2001. (Computer-aided chemical engineering, 9.).
Invariant inhesitance in structured operating procedures described by Petri nets. (Technical report of the Systems and Controls Laboratory, SCL-001-1997.)