%0 Journal Article %1 journals/tsmc/YangDGPJ22 %A Yang, Ru %A Ding, Zhijun %A Guo, Tong %A Pan, Meiqin %A Jiang, Changjun %D 2022 %J IEEE Trans. Syst. Man Cybern. Syst. %K dblp %N 12 %P 7774-7786 %T Model Checking of Variable Petri Nets by Using the Kripke Structure. %U http://dblp.uni-trier.de/db/journals/tsmc/tsmc52.html#YangDGPJ22 %V 52

@article{journals/tsmc/YangDGPJ22, added-at = {2022-12-05T00:00:00.000+0100}, author = {Yang, Ru and Ding, Zhijun and Guo, Tong and Pan, Meiqin and Jiang, Changjun}, biburl = {https://www.bibsonomy.org/bibtex/2c335ec320dcbfbe77ff1b0635680be03/dblp}, ee = {https://doi.org/10.1109/TSMC.2022.3163741}, interhash = {2031df2f3c2a69cb83df93e3215a2d03}, intrahash = {c335ec320dcbfbe77ff1b0635680be03}, journal = {IEEE Trans. Syst. Man Cybern. Syst.}, keywords = {dblp}, number = 12, pages = {7774-7786}, timestamp = {2024-04-08T19:19:11.000+0200}, title = {Model Checking of Variable Petri Nets by Using the Kripke Structure.}, url = {http://dblp.uni-trier.de/db/journals/tsmc/tsmc52.html#YangDGPJ22}, volume = 52, year = 2022 }