1 citations · 1 across the 2 of their papers we have counts for
2 papers
eess.SY2021
Non-Blockingness Verification of Bounded Petri Nets Using Basis Reachability Graphs -- An Extended Version With Benchmarks
Chao Gu, Ziyue Ma, Zhiwu Li +1
In this paper, we study the problem of non-blockingness verification by tapping into the basis reachability graph (BRG). Non-blockingness is a property that ensures that all pre-sp…
eess.SY2020★ 1 cited
Verification of Nonblockingness in Bounded Petri Nets With Minimax Basis Reachability Graphs
Chao Gu, Ziyue Ma, Zhiwu Li +1
This paper proposes a semi-structural approach to verify the nonblockingness of a Petri net. We construct a structure, called minimax basis reachability graph (minimax-BRG): it pro…