Some results and open problems concerning elementary siphons of Petri nets

ZhiWu Li; MengChu Zhou; IEEE

doi:10.1109/ICSMC.2004.1399881

Back

Conference proceeding

Some results and open problems concerning elementary siphons of Petri nets

ZhiWu Li, MengChu Zhou and IEEE

2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583), Vol.2, pp.1717-1722 vol.2

2004

DOI: https://doi.org/10.1109/ICSMC.2004.1399881

Abstract

Computer displays

Control system analysis

Control systems

Controllability

Mathematical model

Petri nets

Polynomials

Resource management

System recovery

Siphons are related to the liveness property of Petri net models of concurrent systems. Elementary siphons, an important concept proposed in our previous work, has been proved to be an effective way to characterize, analyze, and control deadlocks in these systems. This paper first surveys the existing results on elementary siphons of Petri nets. It is proved that the number of elementary siphons in a Petri net is bounded by the smaller of place count and transition count. We investigate the conditions under which there is no weakly dependent siphon in a Petri net. A polynomial algorithm is developed to decide the set of elementary siphons for the deadlock control purpose. Some interesting and open problems on elementary siphons are finally discussed.

Metrics

1 Record Views

Details

Title: Some results and open problems concerning elementary siphons of Petri nets
Creators - without role: ZhiWu Li - Xidian University
MengChu Zhou
IEEE
Publication Details: 2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583), Vol.2, pp.1717-1722 vol.2
Publisher: IEEE
Identifiers: 9939860308331
Academic Unit: King Abdulaziz University
Language: English
Resource Type: Conference proceeding