An algorithm for an optimal set of elementary siphons in Petri nets for deadlock control

ZhiWu Li, HeSuan Hu, Mengchu Zhou

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

7 Scopus citations

Abstract

Elementary siphons are important concepts in Petri net theory. Based on them, effective deadlock control can be developed for a net system. The research shows that different sets of elementary siphons has different effects in terms of reachable states using a same control synthesis method. This paper illustrates an algorithm which can find an optimal set of elementary siphons in polynomial time given all siphons. Its use produces more reachable states of the controlled net than other ones do when a same deadlock control policy is applied. Our research starts with theoretical results and ends with experimental ones.

Original languageEnglish (US)
Title of host publication2004 IEEE International Conference on Systems, Man and Cybernetics, SMC 2004
Pages4849-4854
Number of pages6
Volume5
DOIs
StatePublished - Dec 1 2004
Event2004 IEEE International Conference on Systems, Man and Cybernetics, SMC 2004 - The Hague, Netherlands
Duration: Oct 10 2004Oct 13 2004

Other

Other2004 IEEE International Conference on Systems, Man and Cybernetics, SMC 2004
Country/TerritoryNetherlands
CityThe Hague
Period10/10/0410/13/04

All Science Journal Classification (ASJC) codes

  • Engineering(all)

Fingerprint

Dive into the research topics of 'An algorithm for an optimal set of elementary siphons in Petri nets for deadlock control'. Together they form a unique fingerprint.

Cite this