%0 Journal Article %1 journals/tsmc/LuZZBD19 %A Lu, Faming %A Zeng, Qingtian %A Zhou, MengChu %A Bao, Yunxia %A Duan, Hua %D 2019 %J IEEE Trans. Syst. Man Cybern. Syst. %K dblp %N 6 %P 1164-1174 %T Complex Reachability Trees and Their Application to Deadlock Detection for Unbounded Petri Nets. %U http://dblp.uni-trier.de/db/journals/tsmc/tsmc49.html#LuZZBD19 %V 49

@article{journals/tsmc/LuZZBD19, added-at = {2020-05-20T00:00:00.000+0200}, author = {Lu, Faming and Zeng, Qingtian and Zhou, MengChu and Bao, Yunxia and Duan, Hua}, biburl = {https://www.bibsonomy.org/bibtex/2d777a802ddf2b8fa7bb058ea995d8491/dblp}, ee = {https://doi.org/10.1109/TSMC.2017.2692262}, interhash = {a212f66bc31658974ade9296d4d6ba77}, intrahash = {d777a802ddf2b8fa7bb058ea995d8491}, journal = {IEEE Trans. Syst. Man Cybern. Syst.}, keywords = {dblp}, number = 6, pages = {1164-1174}, timestamp = {2020-05-21T11:42:50.000+0200}, title = {Complex Reachability Trees and Their Application to Deadlock Detection for Unbounded Petri Nets.}, url = {http://dblp.uni-trier.de/db/journals/tsmc/tsmc49.html#LuZZBD19}, volume = 49, year = 2019 }