FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2923641741> ?p ?o ?g. }

• W2923641741 abstract "Detectability describes the property of a system whose current and the subsequent states can be uniquely determined after a finite number of observations. In this paper, we developed a novel approach to verifying strong detectability and periodically strong detectability of bounded labeled Petri nets. Our approach is based on the analysis of the basis reachability graph of a special Petri net, called Verifier Net, that is built from the Petri net model of the given system. Without computing the whole reachability space and without enumerating all the markings, the proposed approaches are more efficient." @default.
• W2923641741 created "2019-04-01" @default.
• W2923641741 creator A5005940530 @default.
• W2923641741 creator A5024123935 @default.
• W2923641741 creator A5039853624 @default.
• W2923641741 creator A5084053056 @default.
• W2923641741 date "2019-03-21" @default.
• W2923641741 modified "2023-09-26" @default.
• W2923641741 title "Verification of Detectability in Petri Nets Using Verifier Nets." @default.
• W2923641741 cites W1141352453 @default.
• W2923641741 cites W1497728757 @default.
• W2923641741 cites W1575632017 @default.
• W2923641741 cites W1587663028 @default.
• W2923641741 cites W1915570783 @default.
• W2923641741 cites W1966651017 @default.
• W2923641741 cites W1972158470 @default.
• W2923641741 cites W1996109622 @default.
• W2923641741 cites W2004111171 @default.
• W2923641741 cites W2028587915 @default.
• W2923641741 cites W2053982295 @default.
• W2923641741 cites W2057595388 @default.
• W2923641741 cites W2118841252 @default.
• W2923641741 cites W2155447404 @default.
• W2923641741 cites W2171225490 @default.
• W2923641741 cites W2403044140 @default.
• W2923641741 cites W2497816991 @default.
• W2923641741 cites W2538443008 @default.
• W2923641741 cites W2598332701 @default.
• W2923641741 cites W2606674369 @default.
• W2923641741 cites W2730583255 @default.
• W2923641741 cites W2759976471 @default.
• W2923641741 cites W2786818774 @default.
• W2923641741 cites W2962834616 @default.
• W2923641741 cites W2972690256 @default.
• W2923641741 hasPublicationYear "2019" @default.
• W2923641741 type Work @default.
• W2923641741 sameAs 2923641741 @default.
• W2923641741 citedByCount "0" @default.
• W2923641741 crossrefType "posted-content" @default.
• W2923641741 hasAuthorship W2923641741A5005940530 @default.
• W2923641741 hasAuthorship W2923641741A5024123935 @default.
• W2923641741 hasAuthorship W2923641741A5039853624 @default.
• W2923641741 hasAuthorship W2923641741A5084053056 @default.
• W2923641741 hasConcept C111472728 @default.
• W2923641741 hasConcept C11413529 @default.
• W2923641741 hasConcept C120314980 @default.
• W2923641741 hasConcept C12426560 @default.
• W2923641741 hasConcept C132525143 @default.
• W2923641741 hasConcept C134306372 @default.
• W2923641741 hasConcept C136643341 @default.
• W2923641741 hasConcept C138885662 @default.
• W2923641741 hasConcept C14166107 @default.
• W2923641741 hasConcept C189950617 @default.
• W2923641741 hasConcept C197551870 @default.
• W2923641741 hasConcept C2524010 @default.
• W2923641741 hasConcept C33923547 @default.
• W2923641741 hasConcept C34388435 @default.
• W2923641741 hasConcept C38677869 @default.
• W2923641741 hasConcept C41008148 @default.
• W2923641741 hasConcept C80444323 @default.
• W2923641741 hasConceptScore W2923641741C111472728 @default.
• W2923641741 hasConceptScore W2923641741C11413529 @default.
• W2923641741 hasConceptScore W2923641741C120314980 @default.
• W2923641741 hasConceptScore W2923641741C12426560 @default.
• W2923641741 hasConceptScore W2923641741C132525143 @default.
• W2923641741 hasConceptScore W2923641741C134306372 @default.
• W2923641741 hasConceptScore W2923641741C136643341 @default.
• W2923641741 hasConceptScore W2923641741C138885662 @default.
• W2923641741 hasConceptScore W2923641741C14166107 @default.
• W2923641741 hasConceptScore W2923641741C189950617 @default.
• W2923641741 hasConceptScore W2923641741C197551870 @default.
• W2923641741 hasConceptScore W2923641741C2524010 @default.
• W2923641741 hasConceptScore W2923641741C33923547 @default.
• W2923641741 hasConceptScore W2923641741C34388435 @default.
• W2923641741 hasConceptScore W2923641741C38677869 @default.
• W2923641741 hasConceptScore W2923641741C41008148 @default.
• W2923641741 hasConceptScore W2923641741C80444323 @default.
• W2923641741 hasLocation W29236417411 @default.
• W2923641741 hasOpenAccess W2923641741 @default.
• W2923641741 hasPrimaryLocation W29236417411 @default.
• W2923641741 hasRelatedWork W1575632017 @default.
• W2923641741 hasRelatedWork W1917675986 @default.
• W2923641741 hasRelatedWork W1996043796 @default.
• W2923641741 hasRelatedWork W2021432035 @default.
• W2923641741 hasRelatedWork W2028258644 @default.
• W2923641741 hasRelatedWork W2045217754 @default.
• W2923641741 hasRelatedWork W2049852498 @default.
• W2923641741 hasRelatedWork W2053982295 @default.
• W2923641741 hasRelatedWork W2070365443 @default.
• W2923641741 hasRelatedWork W2103390669 @default.
• W2923641741 hasRelatedWork W2118385552 @default.
• W2923641741 hasRelatedWork W2138408544 @default.
• W2923641741 hasRelatedWork W2139480393 @default.
• W2923641741 hasRelatedWork W2153387272 @default.
• W2923641741 hasRelatedWork W2154794415 @default.
• W2923641741 hasRelatedWork W2171468557 @default.
• W2923641741 hasRelatedWork W2921227100 @default.
• W2923641741 hasRelatedWork W2969734926 @default.
• W2923641741 hasRelatedWork W2972690256 @default.
• W2923641741 hasRelatedWork W2499946963 @default.

• next