New reachability trees for analyzing unbounded Petri nets with semilinear reachability sets

Shouguang Wang; Dan You; Mengchu Zhou

doi:10.1007/s11432-017-9446-3

New reachability trees for analyzing unbounded Petri nets with semilinear reachability sets

Shouguang Wang, Dan You, Mengchu Zhou

Electrical and Computer Engineering

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

8 Scopus citations

Original language	English (US)
Article number	129104
Journal	Science China Information Sciences
Volume	61
Issue number	12
DOIs	https://doi.org/10.1007/s11432-017-9446-3
State	Published - Dec 1 2018

All Science Journal Classification (ASJC) codes

General Computer Science

Access to Document

10.1007/s11432-017-9446-3

Cite this

@article{0e6e5632bab34b5bb74d76bb3775808a,

title = "New reachability trees for analyzing unbounded Petri nets with semilinear reachability sets",

author = "Shouguang Wang and Dan You and Mengchu Zhou",

note = "Funding Information: Acknowledgements This work was supported by National Natural Science Foundation of China (Grant No. 61374148).",

year = "2018",

month = dec,

day = "1",

doi = "10.1007/s11432-017-9446-3",

language = "English (US)",

volume = "61",

journal = "Science China Information Sciences",

issn = "1674-733X",

publisher = "Science in China Press",

number = "12",

}

TY - JOUR

T1 - New reachability trees for analyzing unbounded Petri nets with semilinear reachability sets

AU - Wang, Shouguang

AU - You, Dan

AU - Zhou, Mengchu

N1 - Funding Information: Acknowledgements This work was supported by National Natural Science Foundation of China (Grant No. 61374148).

PY - 2018/12/1

Y1 - 2018/12/1

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

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

U2 - 10.1007/s11432-017-9446-3

DO - 10.1007/s11432-017-9446-3

M3 - Letter

AN - SCOPUS:85052982263

SN - 1674-733X

VL - 61

JO - Science China Information Sciences

JF - Science China Information Sciences

IS - 12

M1 - 129104

ER -

New reachability trees for analyzing unbounded Petri nets with semilinear reachability sets

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Cite this