Hongda Qi, Junli Wang, ChunGang Yan, Changjun Jiang. The Probabilistic Liveness Decision Method of Unbounded Petri Nets Based on Machine Learning. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 54(2):1070-1081, February 2024. [doi]
Abstract is missing.