Invariant inhesitance in structured operating procedures described by Petri nets. (Technical report of the Systems and Controls Laboratory, SCL-001-1997.)
In: Intelligent automation and control. Recent trends in development and applications. Proceedings of the world automation congress. (WAC '96). Montpellier, 1996. (TSI Press series, 4.).