activity
20202026
most citedVerification of Nonblockingness in Bounded Petri Nets With Minimax Basis Reachability Graphs

1 citations · 1 across the 4 of their papers we have counts for

collaborators
Showing 2021Show all

1 paper · 1 filter

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…