A Refined Siphon-Based Deadlock Prevention Policy for a Class of Petri Nets

Shou Guang Wang, Xin Guo, Oussama Karoui, Meng Chu Zhou, Dan You, Abdullah Abusorrah

Research output: Contribution to journalArticlepeer-review

Abstract

Resource allocation systems (RASs) exist in various fields of modern society. The deadlock control problem is a crucial issue in control theory of RAS. This work is concentrated on a special class of shared resource and process-oriented Petri nets whose initial marking can have only a token in every resource place. Using mixed-integer programming (MIP) and iterative siphon control, we present a two-stage deadlock prevention policy. In particular, a modified MIP technique is developed for the first stage to compute a specific type of emptiable siphons and a siphon control method introducing monitors with related arcs whose weights all equal to one is established in the second stage. This policy leads to a maximally permissive liveness-enforcing supervisor and such an obtained controlled net is ordinary. Moreover, it avoids the exhaustive enumeration of siphons and the reachability analysis. Examples are provided to explain the policy.

Original languageEnglish (US)
Pages (from-to)1-13
Number of pages13
JournalIEEE Transactions on Systems, Man, and Cybernetics: Systems
DOIs
StateAccepted/In press - 2022

All Science Journal Classification (ASJC) codes

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

Keywords

  • Behavioral sciences
  • Deadlock
  • Iterative methods
  • mixed-integer programming (MIP)
  • Monitoring
  • Petri net
  • Petri nets
  • Programming
  • resource allocation system
  • Resource management
  • System recovery

Fingerprint

Dive into the research topics of 'A Refined Siphon-Based Deadlock Prevention Policy for a Class of Petri Nets'. Together they form a unique fingerprint.

Cite this