Computation of all minimal siphons in Petri nets

S. G. Wang; Y. Li; C. Y. Wang; M. C. Zhou

doi:10.1109/ICNSC.2012.6204889

Computation of all minimal siphons in Petri nets

S. G. Wang, Y. Li, C. Y. Wang, M. C. Zhou

Electrical and Computer Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

6 Scopus citations

Abstract

Efficient extraction of minimal siphons is fundamentally important in deadlock control. So far, methods that are based on problem reduction and decomposition are recognized as effective ways. In this paper, an improved method is proposed to identify all minimal siphons. New conditions are proposed under which a problem needs not be decomposed. It significantly simplifies the process of problem decomposition in the existing methods, thereby reducing the memory and improving the computational efficiency. An example is used to illustrate the application of the proposed method.

Original language	English (US)
Title of host publication	Proceedings of 2012 9th IEEE International Conference on Networking, Sensing and Control, ICNSC 2012
Pages	46-51
Number of pages	6
DOIs	https://doi.org/10.1109/ICNSC.2012.6204889
State	Published - 2012
Event	2012 9th IEEE International Conference on Networking, Sensing and Control, ICNSC 2012 - Beijing, China Duration: Apr 11 2012 → Apr 14 2012

Publication series

Name	Proceedings of 2012 9th IEEE International Conference on Networking, Sensing and Control, ICNSC 2012

Other

Other	2012 9th IEEE International Conference on Networking, Sensing and Control, ICNSC 2012
Country/Territory	China
City	Beijing
Period	4/11/12 → 4/14/12

All Science Journal Classification (ASJC) codes

Computer Networks and Communications

Keywords

Petri nets
siphon
tree

Access to Document

10.1109/ICNSC.2012.6204889

Cite this

Wang, S. G., Li, Y., Wang, C. Y., & Zhou, M. C. (2012). Computation of all minimal siphons in Petri nets. In Proceedings of 2012 9th IEEE International Conference on Networking, Sensing and Control, ICNSC 2012 (pp. 46-51). Article 6204889 (Proceedings of 2012 9th IEEE International Conference on Networking, Sensing and Control, ICNSC 2012). https://doi.org/10.1109/ICNSC.2012.6204889

@inproceedings{db92bea56b4f47bf8b1b6766cc84823b,

title = "Computation of all minimal siphons in Petri nets",

abstract = "Efficient extraction of minimal siphons is fundamentally important in deadlock control. So far, methods that are based on problem reduction and decomposition are recognized as effective ways. In this paper, an improved method is proposed to identify all minimal siphons. New conditions are proposed under which a problem needs not be decomposed. It significantly simplifies the process of problem decomposition in the existing methods, thereby reducing the memory and improving the computational efficiency. An example is used to illustrate the application of the proposed method.",

keywords = "Petri nets, siphon, tree",

author = "Wang, {S. G.} and Y. Li and Wang, {C. Y.} and Zhou, {M. C.}",

year = "2012",

doi = "10.1109/ICNSC.2012.6204889",

language = "English (US)",

isbn = "9781467303880",

series = "Proceedings of 2012 9th IEEE International Conference on Networking, Sensing and Control, ICNSC 2012",

pages = "46--51",

booktitle = "Proceedings of 2012 9th IEEE International Conference on Networking, Sensing and Control, ICNSC 2012",

note = "2012 9th IEEE International Conference on Networking, Sensing and Control, ICNSC 2012 ; Conference date: 11-04-2012 Through 14-04-2012",

}

Wang, SG, Li, Y, Wang, CY & Zhou, MC 2012, Computation of all minimal siphons in Petri nets. in Proceedings of 2012 9th IEEE International Conference on Networking, Sensing and Control, ICNSC 2012., 6204889, Proceedings of 2012 9th IEEE International Conference on Networking, Sensing and Control, ICNSC 2012, pp. 46-51, 2012 9th IEEE International Conference on Networking, Sensing and Control, ICNSC 2012, Beijing, China, 4/11/12. https://doi.org/10.1109/ICNSC.2012.6204889

Computation of all minimal siphons in Petri nets. / Wang, S. G.; Li, Y.; Wang, C. Y. et al.
Proceedings of 2012 9th IEEE International Conference on Networking, Sensing and Control, ICNSC 2012. 2012. p. 46-51 6204889 (Proceedings of 2012 9th IEEE International Conference on Networking, Sensing and Control, ICNSC 2012).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Computation of all minimal siphons in Petri nets

AU - Wang, S. G.

AU - Li, Y.

AU - Wang, C. Y.

AU - Zhou, M. C.

PY - 2012

Y1 - 2012

N2 - Efficient extraction of minimal siphons is fundamentally important in deadlock control. So far, methods that are based on problem reduction and decomposition are recognized as effective ways. In this paper, an improved method is proposed to identify all minimal siphons. New conditions are proposed under which a problem needs not be decomposed. It significantly simplifies the process of problem decomposition in the existing methods, thereby reducing the memory and improving the computational efficiency. An example is used to illustrate the application of the proposed method.

AB - Efficient extraction of minimal siphons is fundamentally important in deadlock control. So far, methods that are based on problem reduction and decomposition are recognized as effective ways. In this paper, an improved method is proposed to identify all minimal siphons. New conditions are proposed under which a problem needs not be decomposed. It significantly simplifies the process of problem decomposition in the existing methods, thereby reducing the memory and improving the computational efficiency. An example is used to illustrate the application of the proposed method.

KW - Petri nets

KW - siphon

KW - tree

UR - http://www.scopus.com/inward/record.url?scp=84863112138&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84863112138&partnerID=8YFLogxK

U2 - 10.1109/ICNSC.2012.6204889

DO - 10.1109/ICNSC.2012.6204889

M3 - Conference contribution

AN - SCOPUS:84863112138

SN - 9781467303880

T3 - Proceedings of 2012 9th IEEE International Conference on Networking, Sensing and Control, ICNSC 2012

SP - 46

EP - 51

BT - Proceedings of 2012 9th IEEE International Conference on Networking, Sensing and Control, ICNSC 2012

T2 - 2012 9th IEEE International Conference on Networking, Sensing and Control, ICNSC 2012

Y2 - 11 April 2012 through 14 April 2012

ER -

Computation of all minimal siphons in Petri nets

Abstract

Publication series

Other

All Science Journal Classification (ASJC) codes

Keywords

Access to Document

Other files and links

Fingerprint

Cite this