TY  - RPRT
TI  - Non-Blockingness Verification of Bounded Petri Nets Using Basis Reachability Graphs -- An Extended Version With Benchmarks
AU  - Chao Gu
AU  - Ziyue Ma
AU  - Zhiwu Li
AU  - Alessandro Giua
PY  - 2021
DO  - 10.1109/lcsys.2021.3087937
UR  - https://arxiv.org/abs/2103.02475
ID  - 2103.02475
ER  -