One-step look-ahead maximally permissive deadlock control of AMS by using petri nets

Naiqi Wu, Mengchu Zhou, Gang Hu

Research output: Contribution to journalArticlepeer-review

46 Scopus citations

Abstract

It is desired that a deadlock control policy for automated manufacturing systems (AMS) is maximally permissive. However, its tractability issue remains open, and this work addresses this important issue. It models AMS with a resource-oriented Petri net (ROPN) and presents a necessary and sufficient condition under which there exists a one-step look-ahead maximally permissive control policy for deadlock avoidance in AMS. It further identifies some conditions under which a one-step look-ahead maximally permissive deadlock control policy exists for a single-capacity system. The conditions can be conveniently examined by using the developed ROPN model.

Original languageEnglish (US)
Article number10
JournalTransactions on Embedded Computing Systems
Volume12
Issue number1
DOIs
StatePublished - Jan 1 2013

All Science Journal Classification (ASJC) codes

  • Software
  • Hardware and Architecture

Keywords

  • Automated manufacturing systems (AMS)
  • Deadlock avoidance
  • Discrete event systems
  • Petri net
  • Supervisory control

Fingerprint

Dive into the research topics of 'One-step look-ahead maximally permissive deadlock control of AMS by using petri nets'. Together they form a unique fingerprint.

Cite this