Petri Net Supervisors for Disjunctive Constraints

The paper presents an approach for the design of supervisors for disjunctive constraints in which the supervisors are represented by labeled Petri nets. This approach extends our previous results in two ways. First, the supervisors are now guaranteed to be least restrictive. Second, the constraints may now also include the firing vector. The approach is illustrated on the readers/writers problem. While the results are obtained in the fully controllable and observable setting, issues arising when the system is partially controllable and partially observable are also discussed. The approach is developed under certain boundedness assumptions.