Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Petri Net Supervisors for Disjunctive Constraints Marian V. Iordache and Panos J. Antsaklis
 

Summary: Petri Net Supervisors for Disjunctive Constraints
Marian V. Iordache and Panos J. Antsaklis
Abstract-- The paper presents an approach for the design of
supervisors for disjunctive constraints in which the supervisors
are represented by labeled Petri nets. This approach extends
our previous results in two ways. First, the supervisors are
now guaranteed to be least restrictive. Second, the constraints
may now also include the firing vector. The approach is
illustrated on the readers/writers problem. While the results
are obtained in the fully controllable and observable setting,
issues arising when the system is partially controllable and
partially observable are also discussed. The approach is
developed under certain boundedness assumptions.
I. INTRODUCTION
The coordination of concurrent systems, that is, systems
in which several processes may operate at the same time,
has raised a number of challenges. These include the need
to ensure safety constraints (such as mutual exclusion), the
absence of deadlocks, and fair access to common resources
for all processes. These problems are especially difficult

  

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

 

Collections: Engineering