Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Admissible Decentralized Control of Petri Nets Marian V. Iordache and Panos J. Antsaklis1,2
 

Summary: Admissible Decentralized Control of Petri Nets
Marian V. Iordache and Panos J. Antsaklis1,2
Abstract
Supervision based on place invariants (SBPI) is an effi-
cient technique for the supervisory control of Petri nets.
In this paper we propose extensions of the SBPI to a
decentralized control setting. In our setting, a decen-
tralized supervisor consists of local supervisors, each
controlling and observing a part of the Petri net. We
consider both versions of decentralized control, with
communication, and with no communication. In the
case of communication, the supervisors may exchange
information consisting of local observed events. We
propose efficient algorithms for the design of decentral-
ized supervisors, based on the extension of the SBPI
concept of admissibility that we define.
1 Introduction
Petri nets are compact models of concurrent systems,
as they do not represent explicitly the state space of
the system. Petri net models arise naturally in a vari-

  

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

 

Collections: Engineering