1.Macro liveness graph and liveness of ω-independent unbounded nets

Wang, ShouGuang, Gan     More...

Wang, ShouGuang, Gan, MengDi, Zhou, MengChu     Less

Science China Information Sciences[1674-733X], Published 2015, Volume 58, Issue 3,

收錄情况： WOS SCOPUS

WOS核心合集引用: 10  2023影響因子:  7.3  发表年影響因子:  0.885 

2.Petri net based test case generation for evolved specification

Ding, Zuohua, Jiang,     More...

Ding, Zuohua, Jiang, Mingyue, Chen, Haibo, Jin, Zhi, Zhou, Mengchu     Less

Science China Information Sciences[1674-733X], Published 2016, Volume 59, Issue 8,

收錄情况： WOS SCOPUS

WOS核心合集引用: 6  2023影響因子:  7.3  发表年影響因子:  1.628 

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

Wang, Shouguang, You     More...

Wang, Shouguang, You, Dan, Zhou, Mengchu     Less

Science China Information Sciences[1674-733X], Published 2018, Volume 61, Issue 12,

收錄情况： WOS SCOPUS

WOS核心合集引用: 7  2023影響因子:  7.3  发表年影響因子:  2.731