A Necessary and Sufficient Condition for a Resource Subset to Generate a Strict Minimal Siphon in S4PR

Shou Guang Wang, Dan You, Meng Chu Zhou

Research output: Contribution to journalArticlepeer-review

82 Scopus citations

Abstract

Systems of sequential systems with shared resources (S4PR) represent a class of Petri nets that have powerful modeling capability for resource allocation systems. Their efficient siphon computation is important. An open issue is how to determine whether a resource subset can generate a strict minimal siphon (SMS). This paper presents the answer. In particular, we propose a new concept called characteristic implicit resource-transition nets. By charactering such nets, we successfully establish a necessary and sufficient condition for a resource subset to generate an SMS.

Original languageEnglish (US)
Article number7870672
Pages (from-to)4173-4179
Number of pages7
JournalIEEE Transactions on Automatic Control
Volume62
Issue number8
DOIs
StatePublished - Aug 2017

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Computer Science Applications
  • Electrical and Electronic Engineering

Keywords

  • Petri nets
  • resource allocation systems
  • strict minimal siphons (SMS)
  • systems of sequential systems with shared resources (SPR) nets

Fingerprint

Dive into the research topics of 'A Necessary and Sufficient Condition for a Resource Subset to Generate a Strict Minimal Siphon in S<sup>4</sup>PR'. Together they form a unique fingerprint.

Cite this