Verification of Nonblockingness in Bounded Petri Nets With Min-Max Basis Reachability Graphs
Sign Up to like & getrecommendations! Published in 2022 at "IEEE Transactions on Systems, Man, and Cybernetics: Systems"
DOI: 10.1109/tsmc.2021.3138266
Abstract: This paper proposes a semi-structural approach to verify the nonblockingness of a Petri net. We construct a structure, called minimax basis reachability graph (minimaxBRG): it provides an abstract description of the reachability set of a… read more here.
Keywords: verification nonblockingness; minimax brg; petri nets; reachability ... See more keywords