1 citations · 1 across the 4 of their papers we have counts for
1 paper · 1 filter
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…