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

1 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

Other

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

All Science Journal Classification (ASJC) codes

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

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

    Chen, H., Wu, N., & Zhou, M. (2016). Resource-oriented petri net-based approach to deadlock prevention of AMSs. In Proceedings - 2015 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2015 (pp. 515-520). [7379233] Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/SMC.2015.101