In: IEEE Symposium on Emerging Technologies and Factory Automation, Vol. 2: Proceedings of 1995 INRIA, pages 117-128. October 1995.
Abstract: A method for computing a feedback controller for a manufacturing assembly cell modeled by a Petri net is presented and a method for dealing with uncontrollable and unobservable transitions is proposed. This approach has been recently extended to apply to Petri nets that contain uncontrollable transitions. The idea of uncontrollable transitions is extended here to unobservable transitions and illustrated by the forced reconfiguration of the example controller to account for a sensor failure in the manufacturing plant.