In: Computer-intensive methods in control and data processing. Can we beat the course of dimensionality? CPM'98. Preprints of the 3rdEuropean IEEE workshop. Prague, 1998..
Invariant inhesitance in structured operating procedures described by Petri nets. (Technical report of the Systems and Controls Laboratory, SCL-001-1997.)