Macro liveness graph and liveness of ω-independent unbounded nets

Shou Guang Wang; Meng Di Gan; Meng Chu Zhou

doi:10.1007/s11432-014-5239-9

Macro liveness graph and liveness of ω-independent unbounded nets

Shou Guang Wang, Meng Di Gan, Meng Chu Zhou

Electrical and Computer Engineering

Research output: Contribution to journal › Article › peer-review

26 Scopus citations

Abstract

Liveness is a basic property of a system and the liveness issue of unbounded Petri nets remains one of the most difficult problems in this field. This work proposes a novel method to decide the liveness of a class of unbounded generalized Petri nets called ω-independent unbounded nets, breaking the existing limits to one-place-unbounded nets. An algorithm to construct a macro liveness graph (MLG) is developed and a critical condition based on MLG deciding the liveness of ω-independent unbounded nets is proposed. Examples are provided to demonstrate its effectiveness.

Original language	English (US)
Journal	Science China Information Sciences
Volume	58
Issue number	3
DOIs	https://doi.org/10.1007/s11432-014-5239-9
State	Published - Mar 2015

All Science Journal Classification (ASJC) codes

General Computer Science

Keywords

Petri nets
complex systems
discrete event system (DES)
liveness
property analysis

Access to Document

10.1007/s11432-014-5239-9

Cite this

@article{76c8d1f8f2ed4426ac25b231a0b984cd,

title = "Macro liveness graph and liveness of ω-independent unbounded nets",

abstract = "Liveness is a basic property of a system and the liveness issue of unbounded Petri nets remains one of the most difficult problems in this field. This work proposes a novel method to decide the liveness of a class of unbounded generalized Petri nets called ω-independent unbounded nets, breaking the existing limits to one-place-unbounded nets. An algorithm to construct a macro liveness graph (MLG) is developed and a critical condition based on MLG deciding the liveness of ω-independent unbounded nets is proposed. Examples are provided to demonstrate its effectiveness.",

keywords = "Petri nets, complex systems, discrete event system (DES), liveness, property analysis",

author = "Wang, {Shou Guang} and Gan, {Meng Di} and Zhou, {Meng Chu}",

note = "Publisher Copyright: {\textcopyright} 2015, Science China Press and Springer-Verlag Berlin Heidelberg.",

year = "2015",

month = mar,

doi = "10.1007/s11432-014-5239-9",

language = "English (US)",

volume = "58",

journal = "Science China Information Sciences",

issn = "1674-733X",

publisher = "Science in China Press",

number = "3",

}

TY - JOUR

T1 - Macro liveness graph and liveness of ω-independent unbounded nets

AU - Wang, Shou Guang

AU - Gan, Meng Di

AU - Zhou, Meng Chu

PY - 2015/3

Y1 - 2015/3

N2 - Liveness is a basic property of a system and the liveness issue of unbounded Petri nets remains one of the most difficult problems in this field. This work proposes a novel method to decide the liveness of a class of unbounded generalized Petri nets called ω-independent unbounded nets, breaking the existing limits to one-place-unbounded nets. An algorithm to construct a macro liveness graph (MLG) is developed and a critical condition based on MLG deciding the liveness of ω-independent unbounded nets is proposed. Examples are provided to demonstrate its effectiveness.

AB - Liveness is a basic property of a system and the liveness issue of unbounded Petri nets remains one of the most difficult problems in this field. This work proposes a novel method to decide the liveness of a class of unbounded generalized Petri nets called ω-independent unbounded nets, breaking the existing limits to one-place-unbounded nets. An algorithm to construct a macro liveness graph (MLG) is developed and a critical condition based on MLG deciding the liveness of ω-independent unbounded nets is proposed. Examples are provided to demonstrate its effectiveness.

KW - Petri nets

KW - complex systems

KW - discrete event system (DES)

KW - liveness

KW - property analysis

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

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

U2 - 10.1007/s11432-014-5239-9

DO - 10.1007/s11432-014-5239-9

M3 - Article

AN - SCOPUS:84922835755

SN - 1674-733X

VL - 58

JO - Science China Information Sciences

JF - Science China Information Sciences

IS - 3

ER -

Macro liveness graph and liveness of ω-independent unbounded nets

Abstract

All Science Journal Classification (ASJC) codes

Keywords

Access to Document

Other files and links

Fingerprint

Cite this