1.New reachability trees for analyzing unbounded Petri nets with semilinear reachability sets
Wang, Shouguang, You More...
Science China Information Sciences[1674-733X], Published 2018, Volume 61, Issue 12,
收錄情况: WOS SCOPUS
WOS核心合集引用: 6 2022影響因子: 8.8 发表年影響因子: 2.731
2.Petri net based test case generation for evolved specification
Ding, Zuohua, Jiang, More...
Science China Information Sciences[1674-733X], Published 2016, Volume 59, Issue 8,
收錄情况: WOS SCOPUS
WOS核心合集引用: 5 2022影響因子: 8.8 发表年影響因子: 1.628
3.Macro liveness graph and liveness of ω-independent unbounded nets
Wang, ShouGuang, Gan More...
Science China Information Sciences[1674-733X], Published 2015, Volume 58, Issue 3,
收錄情况: WOS SCOPUS
WOS核心合集引用: 9 2022影響因子: 8.8 发表年影響因子: 0.885
本系統需要使用 Internet Explorer 9.0 以上Firefox || Chrome瀏覽器
Copyright © 2018 澳門科技大學學者庫