Ru Yang, Zhijun Ding, Tong Guo, Meiqin Pan, Changjun Jiang. Model Checking of Variable Petri Nets by Using the Kripke Structure. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 52(12):7774-7786, 2022. [doi]
No references recorded for this publication.
No citations of this publication recorded.