Resource-oriented petri net-based approach to deadlock prevention of AMSs

Hefeng Chen, Naiqi Wu, Mengchu Zhou

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

6 Scopus citations

Abstract

Based on the systems of simple sequential processes with resources (S3PR) model, the existing methods involve prohibitive computation to synthesize a deadlock prevention controller for automated manufacturing systems (AMS). To reduce the computation, this work studies this problem by using a resource-oriented Petri net (ROPN) model. By revealing the relationship between bad markings and structural properties of an ROPN, it presents a method such that a deadlock prevention controller can be obtained by simple calculation. By such a controller, for each strongly connected subnet in an ROPN, only one control place is needed such that it is structurally very simple. Furthermore, a condition is given under which a maximally permissive controller can be efficiently obtained, which was never seen before. Examples are used to show the application and performance of the proposed method.

Original languageEnglish (US)
Title of host publicationProceedings - 2015 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2015
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages515-520
Number of pages6
ISBN (Electronic)9781479986965
DOIs
StatePublished - Jan 12 2016
EventIEEE International Conference on Systems, Man, and Cybernetics, SMC 2015 - Kowloon Tong, Hong Kong
Duration: Oct 9 2015Oct 12 2015

Publication series

NameProceedings - 2015 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2015

Other

OtherIEEE International Conference on Systems, Man, and Cybernetics, SMC 2015
Country/TerritoryHong Kong
CityKowloon Tong
Period10/9/1510/12/15

All Science Journal Classification (ASJC) codes

  • Artificial Intelligence
  • Computer Networks and Communications
  • Energy Engineering and Power Technology
  • Information Systems and Management
  • Control and Systems Engineering

Keywords

  • Petri nets
  • automated manufacturing systems
  • deadlock prevention

Fingerprint

Dive into the research topics of 'Resource-oriented petri net-based approach to deadlock prevention of AMSs'. Together they form a unique fingerprint.

Cite this