A Method to Compute Strict Minimal Siphons in a Class of Petri Nets Based on Loop Resource Subsets

Shouguang Wang, Chengying Wang, Mengchu Zhou, Mengchu Zhou, Zhiwu Li, Zhiwu Li

Research output: Contribution to journalArticlepeer-review

81 Scopus citations

Abstract

Strict minimal siphons (SMS) play an important role in the development of deadlock control policies for flexible manufacturing systems (FMS). For a class of Petri nets called Systems of Simple Sequential Processes with Resources (S3PR), the resource circuit-based method is an effective way to compute SMS. In this paper, a more effective one to compute SMS is proposed. First, the concepts of loop resource subsets and their characteristic resource subnets are proposed. Next, sufficient and necessary conditions for loop resource subsets to generate SMS are established. Finally, an algorithm is given to find all the SMS based on loop resource subsets. Since the number of loop resource subsets is much less than that of resource circuits and their combinations, the computational efficiency of the SMS enumeration task is significantly improved by the proposed method. An FMS example is used to illustrate the application of the proposed method, and computational time comparisons are provided on several S3PRs to show its superior efficiency.

Original languageEnglish (US)
Pages (from-to)226-237
Number of pages12
JournalIEEE Transactions on Systems, Man, and Cybernetics Part A: Systems and Humans
Volume42
Issue number1
DOIs
StatePublished - Jan 2012
Externally publishedYes

All Science Journal Classification (ASJC) codes

  • Software
  • Control and Systems Engineering
  • Human-Computer Interaction
  • Computer Science Applications
  • Electrical and Electronic Engineering

Keywords

  • Deadlock
  • Petri net
  • discrete event system (DES)
  • flexible manufacturing system (FMS)
  • supervisory control

Fingerprint Dive into the research topics of 'A Method to Compute Strict Minimal Siphons in a Class of Petri Nets Based on Loop Resource Subsets'. Together they form a unique fingerprint.

Cite this