A Structural Approach to the Enforcement of Language and Disjunctive Constraints

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]

Publication List

Last modified: Mon Aug 7 15:41:50 CDT 2006