On supervisory control of a class of discrete event systems modeled by Petri nets

Mi Zhao, Zhiwu Li, Mengchu Zhou

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

This paper develops a deadlock prevention policy for Petri nets that can model concurrent manufacturing assembly processes in flexible manufacturing systems (FMS). They can be modelled by a class of nets, namely G-systems. They are supervised to have the non-blocking property of the behavior, i.e., from any reachable state, a desirable state can be always obtained under supervision. Their deadlock situations in terms of insufficiently marked siphons can be characterized. The proposed approach is to make these siphons satisfy controlled-siphon property (cs-property) if the elementary siphons are properly supervised. Compared with the existing policies, the advantage of the method is that a much smaller number of supervisory monitors and arcs are added and iterative computing processes are avoided. Finally, an application of this technique to a G-system is presented.

Original languageEnglish (US)
Title of host publicationProceedings of the 3rd IEEE International Conference on Automation Science and Engineering, IEEE CASE 2007
Pages1-6
Number of pages6
DOIs
StatePublished - Dec 1 2007
Event3rd IEEE International Conference on Automation Science and Engineering, IEEE CASE 2007 - Scottsdale, AZ, United States
Duration: Sep 22 2007Sep 25 2007

Publication series

NameProceedings of the 3rd IEEE International Conference on Automation Science and Engineering, IEEE CASE 2007

Other

Other3rd IEEE International Conference on Automation Science and Engineering, IEEE CASE 2007
CountryUnited States
CityScottsdale, AZ
Period9/22/079/25/07

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Electrical and Electronic Engineering

Fingerprint Dive into the research topics of 'On supervisory control of a class of discrete event systems modeled by Petri nets'. Together they form a unique fingerprint.

Cite this