Uncontrollable Events and Transitions

In this chapter, the supervisory control problem for Petri nets of which a number of transitions/events are uncontrollable is defined. Also the control problems which form the subject of the remainder of the book are described.