The following publications are possibly variants of this publication:
- Non-Blockingness Verification of Bounded Petri Nets Using Basis Reachability GraphsChao Gu, Ziyue Ma, Zhiwu Li, Alessandro Giua. csysl, 6:1220-1225, 2022. [doi]
- Marking Diagnosis in Labeled Petri Nets Using Basis DiagnosersZiyue Ma, Yin Xiang, Zhiwu Li. cdc 2020: 4479-4484 [doi]
- Design of Optimal Control Sequences in Petri Nets Using Basis Marking AnalysisZiyue Ma, Minqiang Zou, Jiafeng Zhang, Zhiwu Li 0001. tac, 67(7):3685-3692, 2022. [doi]
- Verification of Nonblockingness in Bounded Petri Nets With Min-Max Basis Reachability GraphsChao Gu, Ziyue Ma, Zhiwu Li 0001, Alessandro Giua. tsmc, 52(10):6162-6173, 2022. [doi]