%0 Journal Article %1 journals/tsmc/YangDPJZ17 %A Yang, Ru %A Ding, Zhijun %A Pan, Meiqin %A Jiang, Changjun %A Zhou, MengChu %D 2017 %J IEEE Trans. Syst. Man Cybern. Syst. %K dblp %N 9 %P 2601-2612 %T Liveness Analysis of ω-Independent Petri Nets Based on New Modified Reachability Trees. %U http://dblp.uni-trier.de/db/journals/tsmc/tsmc47.html#YangDPJZ17 %V 47

@article{journals/tsmc/YangDPJZ17, added-at = {2020-05-20T00:00:00.000+0200}, author = {Yang, Ru and Ding, Zhijun and Pan, Meiqin and Jiang, Changjun and Zhou, MengChu}, biburl = {https://www.bibsonomy.org/bibtex/2863d1f17d4ea54949d218f47fb9e2892/dblp}, ee = {https://doi.org/10.1109/TSMC.2016.2524062}, interhash = {60aa2aeafc8430be56549c488cba0767}, intrahash = {863d1f17d4ea54949d218f47fb9e2892}, journal = {IEEE Trans. Syst. Man Cybern. Syst.}, keywords = {dblp}, number = 9, pages = {2601-2612}, timestamp = {2020-05-21T11:42:36.000+0200}, title = {Liveness Analysis of ω-Independent Petri Nets Based on New Modified Reachability Trees.}, url = {http://dblp.uni-trier.de/db/journals/tsmc/tsmc47.html#YangDPJZ17}, volume = 47, year = 2017 }