Admissible Decentralized Control of Petri Nets

نویسندگان

  • Marian V. Iordache
  • Panos J. Antsaklis
چکیده

Supervision based on place invariants (SBPI) is an efficient 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 decentralized 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 decentralized supervisors, based on the extension of the SBPI concept of admissibility that we define.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Decentralized Control of Petri Nets with Constraint Transformations

Supervision based on place invariants (SBPI) has been effectively used for the centralized supervisory control of Petri nets. In the SBPI approach, specifications are classified as admissible or inadmissible, and inadmissible specifications are enforced by transforming them first to a (more restrictive) admissible form. This paper considers the transformation to admissible specifications in a d...

متن کامل

Report: Decentralized Control of Continuous Petri Nets

Aiming to reach a desired final state from a given initial one, this paper focuses on decentralized control of systems modeled by continuous Petri nets. The general PN systems considered in the paper are composed by subsystems interconnected by places (modeling buffers). Local control laws are first computed separately in subsystems, but “incorrectly” chosen ones may cause the reachability prob...

متن کامل

Decentralized Control of Petri Nets

Supervision based on place invariants (SBPI) is an efficient 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 decentralized supervisor consists of local supervisors, each controlling and observing a part of the Petri net. We consider both versions of decentralized control, with communicatio...

متن کامل

A rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers

This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...

متن کامل

Software Tools for the Supervisory Control of Petri Nets Based on Place Invariants

This document describes a Matlab toolbox for the supervisory control of Petri nets based on place invariants [7, 9]. In what follows we present a detailed description of a number of functions we propose. These are the topics we address: • Solving integer programs • Transformations to admissible marking constraints • Enforcing linear constraints in Petri nets which may have uncontrollable and/or...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2003