M. V. Iordache and P. J. Antsaklis
In the Proceedings of the 2005 American Control Conference, pp. 3920--3925, June 2005.
Abstract -- This paper approaches the supervision of Petri nets with two new results that extend the area of applicability of a method known as supervision based on place invariants (SBPI). The first result deals with the enforcement of specifications expressed by Petri net languages. The second result deals with the enforcement of disjunctive constraints under certain boundedness assumptions. These are significant extensions of the SBPI, as language and disjunctive constraints are more expressive than the type of constraints considered in the past with the SBPI.
Slides available: [pdf, 117k]