Non-Blockingness Verification of Bounded Petri Nets Using Basis Reachability Graphs - Chao Gu; Ziyue Ma; Zhiwu Li; Alessandro Giua (2021)