TY  - RPRT
TI  - Verification of Nonblockingness in Bounded Petri Nets With Minimax Basis Reachability Graphs
AU  - Chao Gu
AU  - Ziyue Ma
AU  - Zhiwu Li
AU  - Alessandro Giua
PY  - 2021
UR  - https://arxiv.org/abs/2003.14204
ID  - 2003.14204
ER  -