Macro liveness graph and liveness of ω-independent unbounded nets - researchr publication related

researchr

You are not signed in
Sign in
Sign up

ShouGuang Wang, Mengdi Gan, MengChu Zhou. Macro liveness graph and liveness of ω-independent unbounded nets. Science in China Series F: Information Sciences, 58(3):1-10, 2015. [doi]

The following publications are possibly variants of this publication:

Liveness Analysis of ω-Independent Petri Nets Based on New Modified Reachability TreesRu Yang, Zhijun Ding, Meiqin Pan, Changjun Jiang, MengChu Zhou. tsmc, 47(9):2601-2612, 2017. [doi]

The Probabilistic Liveness Decision Method of Unbounded Petri Nets Based on Machine LearningHongda Qi, Junli Wang, ChunGang Yan, Changjun Jiang. tsmc, 54(2):1070-1081, February 2024. [doi]

runs on WebDSL