A structural approach to the enforcement of language and disjunctive constraints

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.