Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
A Structural Approach to the Enforcement of Language and Disjunctive Constraints
 

Summary: A Structural Approach to the Enforcement of Language and
Disjunctive Constraints
Marian V. Iordache and Panos J. Antsaklis
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 specifica-
tions 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.
I. INTRODUCTION
Petri nets (PNs) are an important class of discrete event
systems, allowing a compact representation of concurrent
systems. The literature on the supervision of PNs contains
numerous references to the enforcement of specifications
consisting of linear inequalities on the PN marking, such
as [2], [5], [14], [20]. Such constraints have the form

  

Source: Antsaklis, Panos - Department of Electrical Engineering, University of Notre Dame

 

Collections: Engineering