Abstraction-Based Incremental Inductive Coverability for Petri Nets. - Jiawen Kang 004; Yunjun Bai; Li Jiao (Petri Nets, 2021)