FRINK Linked Data Fragments server

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

• W80513260 abstract "In this paper, we consider the time Petri net model (TPN model) and show how to detect zenoness using the state class method. Zenoness is a situation which suggests that an infinity of actions may take place in a finite amount of time. This behavior is often considered as pathological since it violates a fundamental requirement for timed systems for they cannot be infinitely fast. Models violating this property are called zeno. We state a necessary and sufficient condition for T-safe TPNs to be zeno and derive an algorithm to verify zenoness in the case of bounded TPN models. We also adapt a model checking approach to verify on-the-fly a subset of TCTL properties while taking into account zeno behaviors." @default.
• W80513260 created "2016-06-24" @default.
• W80513260 creator A5010697371 @default.
• W80513260 creator A5018765379 @default.
• W80513260 creator A5064585406 @default.
• W80513260 date "2007-01-01" @default.
• W80513260 modified "2023-09-25" @default.
• W80513260 title "Zenoness detection and timed model checking for real time systems" @default.
• W80513260 cites W1521238949 @default.
• W80513260 cites W1522386340 @default.
• W80513260 cites W1529059198 @default.
• W80513260 cites W1568391473 @default.
• W80513260 cites W1579143078 @default.
• W80513260 cites W1650440775 @default.
• W80513260 cites W167751234 @default.
• W80513260 cites W1865640539 @default.
• W80513260 cites W1931136285 @default.
• W80513260 cites W1939356072 @default.
• W80513260 cites W1997427041 @default.
• W80513260 cites W2000518871 @default.
• W80513260 cites W2033839526 @default.
• W80513260 cites W2042801853 @default.
• W80513260 cites W2079420020 @default.
• W80513260 cites W2096234982 @default.
• W80513260 cites W2114269468 @default.
• W80513260 cites W2120371353 @default.
• W80513260 cites W2127990882 @default.
• W80513260 cites W2130773092 @default.
• W80513260 cites W2151720555 @default.
• W80513260 cites W2158100094 @default.
• W80513260 cites W2340735175 @default.
• W80513260 cites W2612924702 @default.
• W80513260 cites W2913459036 @default.
• W80513260 cites W37120650 @default.
• W80513260 cites W59365162 @default.
• W80513260 doi "https://doi.org/10.14236/ewic/vecos2007.12" @default.
• W80513260 hasPublicationYear "2007" @default.
• W80513260 type Work @default.
• W80513260 sameAs 80513260 @default.
• W80513260 citedByCount "2" @default.
• W80513260 countsByYear W805132602015 @default.
• W80513260 crossrefType "proceedings-article" @default.
• W80513260 hasAuthorship W80513260A5010697371 @default.
• W80513260 hasAuthorship W80513260A5018765379 @default.
• W80513260 hasAuthorship W80513260A5064585406 @default.
• W80513260 hasBestOaLocation W805132601 @default.
• W80513260 hasConcept C110251889 @default.
• W80513260 hasConcept C111472728 @default.
• W80513260 hasConcept C11413529 @default.
• W80513260 hasConcept C134306372 @default.
• W80513260 hasConcept C136643341 @default.
• W80513260 hasConcept C138885662 @default.
• W80513260 hasConcept C154945302 @default.
• W80513260 hasConcept C189950617 @default.
• W80513260 hasConcept C2524010 @default.
• W80513260 hasConcept C2775924081 @default.
• W80513260 hasConcept C2777212361 @default.
• W80513260 hasConcept C33923547 @default.
• W80513260 hasConcept C34388435 @default.
• W80513260 hasConcept C38677869 @default.
• W80513260 hasConcept C41008148 @default.
• W80513260 hasConcept C47446073 @default.
• W80513260 hasConcept C48103436 @default.
• W80513260 hasConcept C7321624 @default.
• W80513260 hasConcept C7707877 @default.
• W80513260 hasConcept C80444323 @default.
• W80513260 hasConceptScore W80513260C110251889 @default.
• W80513260 hasConceptScore W80513260C111472728 @default.
• W80513260 hasConceptScore W80513260C11413529 @default.
• W80513260 hasConceptScore W80513260C134306372 @default.
• W80513260 hasConceptScore W80513260C136643341 @default.
• W80513260 hasConceptScore W80513260C138885662 @default.
• W80513260 hasConceptScore W80513260C154945302 @default.
• W80513260 hasConceptScore W80513260C189950617 @default.
• W80513260 hasConceptScore W80513260C2524010 @default.
• W80513260 hasConceptScore W80513260C2775924081 @default.
• W80513260 hasConceptScore W80513260C2777212361 @default.
• W80513260 hasConceptScore W80513260C33923547 @default.
• W80513260 hasConceptScore W80513260C34388435 @default.
• W80513260 hasConceptScore W80513260C38677869 @default.
• W80513260 hasConceptScore W80513260C41008148 @default.
• W80513260 hasConceptScore W80513260C47446073 @default.
• W80513260 hasConceptScore W80513260C48103436 @default.
• W80513260 hasConceptScore W80513260C7321624 @default.
• W80513260 hasConceptScore W80513260C7707877 @default.
• W80513260 hasConceptScore W80513260C80444323 @default.
• W80513260 hasLocation W805132601 @default.
• W80513260 hasOpenAccess W80513260 @default.
• W80513260 hasPrimaryLocation W805132601 @default.
• W80513260 hasRelatedWork W1503128752 @default.
• W80513260 hasRelatedWork W1517759046 @default.
• W80513260 hasRelatedWork W1763122816 @default.
• W80513260 hasRelatedWork W1972910911 @default.
• W80513260 hasRelatedWork W2296663577 @default.
• W80513260 hasRelatedWork W3120101625 @default.
• W80513260 hasRelatedWork W4205562957 @default.
• W80513260 hasRelatedWork W4225849209 @default.
• W80513260 hasRelatedWork W4295885746 @default.
• W80513260 hasRelatedWork W51760376 @default.
• W80513260 isParatext "false" @default.

• next