A Structural Approach to the Enforcement of Language and Disjunctive Constraints

Marian Iordache and Panos J. Antsaklis

Proceedings of the 2005 American Control Conference
Portland, Oregon, pp. 3920-3925, June 8-10, 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.

[pdf file]