Supervisory control of Petri nets with uncontrollable/unobservable transitions

This paper expands upon results of previous research dealing with the supervisory control of Petri net modeled discrete event systems that, contain uncontrollable transitions. The concept of unobservable plant transitions is introduced here and incorporated into the controller design procedure. New conditions are developed which govern the existence of controllers for these problems. Two procedures are presented for automatically generating controllers for plants that incorporate uncontrollable and unobservable events.