Extracting all minimal siphons from maximal unmarked siphons in manufacturing-oriented Petri nets

Shou Guang Wang, Meng Chu Zhou, Cheng Ying Wang

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Scopus citations

Abstract

Deadlock control is an important research issue in automated manufacturing systems that have a high degree of resource sharing and concurrency. Since minimal siphons are closely tied with deadlocks in Petri net models, their efficient extraction is fundamentally important. The existing methods can rapidly extract one minimal siphon given a maximal unmarked siphon that is obtained by using a mixed integer programming approach. This paper for the first time presents an extraction algorithm that can efficiently extract all minimal ones. The idea is based on the generation and use of a subnet tree structure given the places in a maximal unmarked siphon. Several Petri net models of automated manufacturing systems are used to illustrate the proposed concepts and methods.

Original languageEnglish (US)
Title of host publication2011 IEEE International Conference on Automation Science and Engineering, CASE 2011
Pages399-404
Number of pages6
DOIs
StatePublished - Dec 5 2011
Event2011 7th IEEE International Conference on Automation Science and Engineering, CASE 2011 - Trieste, Italy
Duration: Aug 24 2011Aug 27 2011

Publication series

NameIEEE International Conference on Automation Science and Engineering
ISSN (Print)2161-8070
ISSN (Electronic)2161-8089

Other

Other2011 7th IEEE International Conference on Automation Science and Engineering, CASE 2011
CountryItaly
CityTrieste
Period8/24/118/27/11

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Electrical and Electronic Engineering

Fingerprint Dive into the research topics of 'Extracting all minimal siphons from maximal unmarked siphons in manufacturing-oriented Petri nets'. Together they form a unique fingerprint.

Cite this