Matches in SemOpenAlex for { <https://semopenalex.org/work/W76440187> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W76440187 endingPage "530" @default.
- W76440187 startingPage "525" @default.
- W76440187 abstract "In this paper, we propose a method for building a Timed Transition Graph (TTG) that uses a single clock from the state class graph of a bounded time Petri Net (TPN). To build this TTG a special state class construction - available in Tina - is used. This structure can be used to calculate “quantitative” temporal properties for the worst case scenario. It is possible to check efficiently several properties over the same TTG if no design modifications are made. Such properties are represented by a framework proposed in the literature were TCTL properties are defined on TPN." @default.
- W76440187 created "2016-06-24" @default.
- W76440187 creator A5077546333 @default.
- W76440187 creator A5086018014 @default.
- W76440187 date "2008-01-01" @default.
- W76440187 modified "2023-09-23" @default.
- W76440187 title "The Verification of Real Time Systems using the TINA Tool" @default.
- W76440187 cites W1505489763 @default.
- W76440187 cites W1524254874 @default.
- W76440187 cites W1529059198 @default.
- W76440187 cites W1568805213 @default.
- W76440187 cites W1874725288 @default.
- W76440187 cites W1981808971 @default.
- W76440187 cites W2000947342 @default.
- W76440187 cites W2033839526 @default.
- W76440187 cites W2042801853 @default.
- W76440187 cites W2070996046 @default.
- W76440187 cites W2104883286 @default.
- W76440187 cites W2114269468 @default.
- W76440187 cites W2116391427 @default.
- W76440187 cites W2117189826 @default.
- W76440187 cites W2118802216 @default.
- W76440187 cites W2129140418 @default.
- W76440187 cites W2151612633 @default.
- W76440187 doi "https://doi.org/10.3182/20080706-5-kr-1001.00089" @default.
- W76440187 hasPublicationYear "2008" @default.
- W76440187 type Work @default.
- W76440187 sameAs 76440187 @default.
- W76440187 citedByCount "1" @default.
- W76440187 countsByYear W764401872017 @default.
- W76440187 crossrefType "journal-article" @default.
- W76440187 hasAuthorship W76440187A5077546333 @default.
- W76440187 hasAuthorship W76440187A5086018014 @default.
- W76440187 hasBestOaLocation W764401871 @default.
- W76440187 hasConcept C112505250 @default.
- W76440187 hasConcept C11413529 @default.
- W76440187 hasConcept C120314980 @default.
- W76440187 hasConcept C132525143 @default.
- W76440187 hasConcept C134306372 @default.
- W76440187 hasConcept C154945302 @default.
- W76440187 hasConcept C2777212361 @default.
- W76440187 hasConcept C33923547 @default.
- W76440187 hasConcept C34388435 @default.
- W76440187 hasConcept C38677869 @default.
- W76440187 hasConcept C41008148 @default.
- W76440187 hasConcept C48103436 @default.
- W76440187 hasConcept C80444323 @default.
- W76440187 hasConceptScore W76440187C112505250 @default.
- W76440187 hasConceptScore W76440187C11413529 @default.
- W76440187 hasConceptScore W76440187C120314980 @default.
- W76440187 hasConceptScore W76440187C132525143 @default.
- W76440187 hasConceptScore W76440187C134306372 @default.
- W76440187 hasConceptScore W76440187C154945302 @default.
- W76440187 hasConceptScore W76440187C2777212361 @default.
- W76440187 hasConceptScore W76440187C33923547 @default.
- W76440187 hasConceptScore W76440187C34388435 @default.
- W76440187 hasConceptScore W76440187C38677869 @default.
- W76440187 hasConceptScore W76440187C41008148 @default.
- W76440187 hasConceptScore W76440187C48103436 @default.
- W76440187 hasConceptScore W76440187C80444323 @default.
- W76440187 hasIssue "2" @default.
- W76440187 hasLocation W764401871 @default.
- W76440187 hasOpenAccess W76440187 @default.
- W76440187 hasPrimaryLocation W764401871 @default.
- W76440187 hasRelatedWork W1517759046 @default.
- W76440187 hasRelatedWork W152523404 @default.
- W76440187 hasRelatedWork W1546362643 @default.
- W76440187 hasRelatedWork W1981948698 @default.
- W76440187 hasRelatedWork W2141562520 @default.
- W76440187 hasRelatedWork W2348566654 @default.
- W76440187 hasRelatedWork W2378310396 @default.
- W76440187 hasRelatedWork W2728166968 @default.
- W76440187 hasRelatedWork W2750225339 @default.
- W76440187 hasRelatedWork W4239176740 @default.
- W76440187 hasVolume "41" @default.
- W76440187 isParatext "false" @default.
- W76440187 isRetracted "false" @default.
- W76440187 magId "76440187" @default.
- W76440187 workType "article" @default.