Liveness of an extended S3PR

Ding Liu, Zhi Wu Li, Meng Chu Zhou

Research output: Contribution to journalArticlepeer-review

85 Scopus citations

Abstract

Most existing prevention methods tackle the deadlock issue arising in flexible manufacturing systems modeled with Petri nets by adding monitors and arcs. Instead, this paper presents a new one based on a characteristic structure of WS3PR, an extension of System of Simple Sequential Processes with Resources (S3PR) with weighted arcs. The numerical relationships among weights, and between weights and initial markings are investigated based on simple circuits of resource places, which are the simplest structure of circular wait, rather than siphons. A WS3PR satisfying a proposed restriction is inherently deadlock-free and live by configuring its initial markings. A set of polynomial algorithms are developed to implement the proposed method. Several examples are used to illustrate them.

Original languageEnglish (US)
Pages (from-to)1008-1018
Number of pages11
JournalAutomatica
Volume46
Issue number6
DOIs
StatePublished - Jun 1 2010

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Electrical and Electronic Engineering

Keywords

  • Circular wait
  • Deadlock prevention
  • Flexible manufacturing system (FMS)
  • Petri nets
  • Polynomial algorithms

Fingerprint

Dive into the research topics of 'Liveness of an extended S<sup>3</sup>PR'. Together they form a unique fingerprint.

Cite this