In: ESCAPE-16 - PSE 2006. 16th European symposium on computer aided process engineering and 9th international symposium on process systems engineering. Garmisch-Partenkirchen, 2006..
Invariant inhesitance in structured operating procedures described by Petri nets. (Technical report of the Systems and Controls Laboratory, SCL-001-1997.)