Chao Gu, Ziyue Ma, Zhiwu Li 0001, Alessandro Giua. Verification of Nonblockingness in Bounded Petri Nets With Min-Max Basis Reachability Graphs. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 52(10):6162-6173, 2022. [doi]
Abstract is missing.