Periodic structure and liveness of Petri net rings

Jianan Li; Ichiro Suzuki; Masafumi Yamashita

Periodic structure and liveness of Petri net rings

Jianan Li, Ichiro Suzuki, Masafumi Yamashita

Research output: Contribution to journal › Conference article › peer-review

Abstract

For k ≥ 2, let R^k be the ring consisting of k identical copies C₀, C₁,..., C_k-1 of a component C, where C is given as a Petri net. Assume that all components of R^k except possibly C₀ have an identical initial marking. We consider the problem of testing whether all rings R^k, k ≥ 2, are live, for the case when the rings are either state machines or marked graphs. We present various sufficient conditions under which all rings are live, and discuss the complexity issue of testing the liveness of marked graph rings. Such conditions can greatly simplify the analysis of large scale process rings given as a Petri net.

Original language	English
Pages (from-to)	3180-3185
Number of pages	6
Journal	Proceedings of the IEEE International Conference on Systems, Man and Cybernetics
Volume	4
Publication status	Published - 1996
Externally published	Yes
Event	Proceedings of the 1996 IEEE International Conference on Systems, Man and Cybernetics. Part 4 (of 4) - Beijing, China Duration: Oct 14 1996 → Oct 17 1996

All Science Journal Classification (ASJC) codes

Control and Systems Engineering
Hardware and Architecture

Cite this

@article{38308410f99e432fa4566b4043556ee2,

title = "Periodic structure and liveness of Petri net rings",

abstract = "For k ≥ 2, let Rk be the ring consisting of k identical copies C0, C1,..., Ck-1 of a component C, where C is given as a Petri net. Assume that all components of Rk except possibly C0 have an identical initial marking. We consider the problem of testing whether all rings Rk, k ≥ 2, are live, for the case when the rings are either state machines or marked graphs. We present various sufficient conditions under which all rings are live, and discuss the complexity issue of testing the liveness of marked graph rings. Such conditions can greatly simplify the analysis of large scale process rings given as a Petri net.",

author = "Jianan Li and Ichiro Suzuki and Masafumi Yamashita",

year = "1996",

language = "English",

volume = "4",

pages = "3180--3185",

journal = "Proceedings of the IEEE International Conference on Systems, Man and Cybernetics",

issn = "0884-3627",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

note = "Proceedings of the 1996 IEEE International Conference on Systems, Man and Cybernetics. Part 4 (of 4) ; Conference date: 14-10-1996 Through 17-10-1996",

}

TY - JOUR

T1 - Periodic structure and liveness of Petri net rings

AU - Li, Jianan

AU - Suzuki, Ichiro

AU - Yamashita, Masafumi

PY - 1996

Y1 - 1996

N2 - For k ≥ 2, let Rk be the ring consisting of k identical copies C0, C1,..., Ck-1 of a component C, where C is given as a Petri net. Assume that all components of Rk except possibly C0 have an identical initial marking. We consider the problem of testing whether all rings Rk, k ≥ 2, are live, for the case when the rings are either state machines or marked graphs. We present various sufficient conditions under which all rings are live, and discuss the complexity issue of testing the liveness of marked graph rings. Such conditions can greatly simplify the analysis of large scale process rings given as a Petri net.

AB - For k ≥ 2, let Rk be the ring consisting of k identical copies C0, C1,..., Ck-1 of a component C, where C is given as a Petri net. Assume that all components of Rk except possibly C0 have an identical initial marking. We consider the problem of testing whether all rings Rk, k ≥ 2, are live, for the case when the rings are either state machines or marked graphs. We present various sufficient conditions under which all rings are live, and discuss the complexity issue of testing the liveness of marked graph rings. Such conditions can greatly simplify the analysis of large scale process rings given as a Petri net.

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

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

M3 - Conference article

AN - SCOPUS:0030382928

SN - 0884-3627

VL - 4

SP - 3180

EP - 3185

JO - Proceedings of the IEEE International Conference on Systems, Man and Cybernetics

JF - Proceedings of the IEEE International Conference on Systems, Man and Cybernetics

T2 - Proceedings of the 1996 IEEE International Conference on Systems, Man and Cybernetics. Part 4 (of 4)

Y2 - 14 October 1996 through 17 October 1996

ER -

Periodic structure and liveness of Petri net rings

Abstract

All Science Journal Classification (ASJC) codes

Other files and links

Fingerprint

Cite this