Matches in SemOpenAlex for { <https://semopenalex.org/work/W3014920372> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W3014920372 abstract "This paper proposes a semi-structural approach to verify the nonblockingness of a Petri net. We provide an algorithm to construct a novel structure, called minimax basis reachability graph (minimax-BRG): it provides an abstract description of the reachability set of a net while preserving all information needed to test if the net is blocking. We prove that a bounded deadlock-free Petri net is nonblocking if and only if its minimax-BRG is unobstructed, which can be verified by solving a set of integer linear programming problems (ILPPs). For Petri nets that are not deadlock-free, one needs to determine the set of deadlock markings. This can be done with an efficient approach based on the computation of maximal implicit firing sequences enabled by the markings in the minimax-BRG. The approach we developed does not require exhaustive exploration of the state space and therefore achieves significant practical efficiency, as shown by means of numerical simulations." @default.
- W3014920372 created "2020-04-10" @default.
- W3014920372 creator A5030774236 @default.
- W3014920372 creator A5030895170 @default.
- W3014920372 creator A5045305170 @default.
- W3014920372 creator A5046248596 @default.
- W3014920372 date "2020-03-31" @default.
- W3014920372 modified "2023-09-27" @default.
- W3014920372 title "Verification of Nonblockingness in Bounded Petri Nets: A Novel Semi-Structural Approach" @default.
- W3014920372 hasPublicationYear "2020" @default.
- W3014920372 type Work @default.
- W3014920372 sameAs 3014920372 @default.
- W3014920372 citedByCount "0" @default.
- W3014920372 crossrefType "posted-content" @default.
- W3014920372 hasAuthorship W3014920372A5030774236 @default.
- W3014920372 hasAuthorship W3014920372A5030895170 @default.
- W3014920372 hasAuthorship W3014920372A5045305170 @default.
- W3014920372 hasAuthorship W3014920372A5046248596 @default.
- W3014920372 hasConcept C11413529 @default.
- W3014920372 hasConcept C120314980 @default.
- W3014920372 hasConcept C126255220 @default.
- W3014920372 hasConcept C132525143 @default.
- W3014920372 hasConcept C134306372 @default.
- W3014920372 hasConcept C136643341 @default.
- W3014920372 hasConcept C149728462 @default.
- W3014920372 hasConcept C159023740 @default.
- W3014920372 hasConcept C177264268 @default.
- W3014920372 hasConcept C197551870 @default.
- W3014920372 hasConcept C199360897 @default.
- W3014920372 hasConcept C33923547 @default.
- W3014920372 hasConcept C34388435 @default.
- W3014920372 hasConcept C38677869 @default.
- W3014920372 hasConcept C41008148 @default.
- W3014920372 hasConcept C45374587 @default.
- W3014920372 hasConcept C56086750 @default.
- W3014920372 hasConcept C80444323 @default.
- W3014920372 hasConceptScore W3014920372C11413529 @default.
- W3014920372 hasConceptScore W3014920372C120314980 @default.
- W3014920372 hasConceptScore W3014920372C126255220 @default.
- W3014920372 hasConceptScore W3014920372C132525143 @default.
- W3014920372 hasConceptScore W3014920372C134306372 @default.
- W3014920372 hasConceptScore W3014920372C136643341 @default.
- W3014920372 hasConceptScore W3014920372C149728462 @default.
- W3014920372 hasConceptScore W3014920372C159023740 @default.
- W3014920372 hasConceptScore W3014920372C177264268 @default.
- W3014920372 hasConceptScore W3014920372C197551870 @default.
- W3014920372 hasConceptScore W3014920372C199360897 @default.
- W3014920372 hasConceptScore W3014920372C33923547 @default.
- W3014920372 hasConceptScore W3014920372C34388435 @default.
- W3014920372 hasConceptScore W3014920372C38677869 @default.
- W3014920372 hasConceptScore W3014920372C41008148 @default.
- W3014920372 hasConceptScore W3014920372C45374587 @default.
- W3014920372 hasConceptScore W3014920372C56086750 @default.
- W3014920372 hasConceptScore W3014920372C80444323 @default.
- W3014920372 hasLocation W30149203721 @default.
- W3014920372 hasOpenAccess W3014920372 @default.
- W3014920372 hasPrimaryLocation W30149203721 @default.
- W3014920372 hasRelatedWork W1568909857 @default.
- W3014920372 hasRelatedWork W2041613450 @default.
- W3014920372 hasRelatedWork W2045217754 @default.
- W3014920372 hasRelatedWork W2149781939 @default.
- W3014920372 hasRelatedWork W2150093018 @default.
- W3014920372 hasRelatedWork W2276955912 @default.
- W3014920372 hasRelatedWork W2292945367 @default.
- W3014920372 hasRelatedWork W2518386834 @default.
- W3014920372 hasRelatedWork W2745248131 @default.
- W3014920372 hasRelatedWork W2769300991 @default.
- W3014920372 hasRelatedWork W2955573179 @default.
- W3014920372 hasRelatedWork W2985182141 @default.
- W3014920372 hasRelatedWork W3012529106 @default.
- W3014920372 hasRelatedWork W3120101625 @default.
- W3014920372 hasRelatedWork W3145100375 @default.
- W3014920372 hasRelatedWork W3152706870 @default.
- W3014920372 hasRelatedWork W3170350031 @default.
- W3014920372 hasRelatedWork W3194184469 @default.
- W3014920372 hasRelatedWork W51760376 @default.
- W3014920372 hasRelatedWork W3134607973 @default.
- W3014920372 isParatext "false" @default.
- W3014920372 isRetracted "false" @default.
- W3014920372 magId "3014920372" @default.
- W3014920372 workType "article" @default.