Matches in SemOpenAlex for { <https://semopenalex.org/work/W2153272717> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2153272717 abstract "Among the many models proposed for the specification and verification of real-time systems, timed automata and time Petri nets are prominent. These two models which were developed independently for years bear strong relationships. In this paper we survey some of the most recent approaches about translation methods from timed automata to time Petri nets. We may apply time Petri nets specific verification methods to timed automata by using these translation methods." @default.
- W2153272717 created "2016-06-24" @default.
- W2153272717 creator A5026967617 @default.
- W2153272717 date "2009-12-01" @default.
- W2153272717 modified "2023-10-16" @default.
- W2153272717 title "Translation Methods from Timed Automata to Time Petri Nets" @default.
- W2153272717 cites W128430150 @default.
- W2153272717 cites W1488218540 @default.
- W2153272717 cites W1500239546 @default.
- W2153272717 cites W1528359128 @default.
- W2153272717 cites W1554260731 @default.
- W2153272717 cites W1558869278 @default.
- W2153272717 cites W1559884866 @default.
- W2153272717 cites W1579143078 @default.
- W2153272717 cites W1593414957 @default.
- W2153272717 cites W1596935793 @default.
- W2153272717 cites W1638591980 @default.
- W2153272717 cites W1841167015 @default.
- W2153272717 cites W1985071975 @default.
- W2153272717 cites W2000518871 @default.
- W2153272717 cites W2000947342 @default.
- W2153272717 cites W2033839526 @default.
- W2153272717 cites W2042801853 @default.
- W2153272717 cites W2070996046 @default.
- W2153272717 cites W2099924351 @default.
- W2153272717 cites W2101508170 @default.
- W2153272717 cites W2104883286 @default.
- W2153272717 cites W2129140418 @default.
- W2153272717 cites W2132056455 @default.
- W2153272717 cites W2142718416 @default.
- W2153272717 cites W2144814330 @default.
- W2153272717 cites W2147041049 @default.
- W2153272717 cites W2151612633 @default.
- W2153272717 cites W2151720555 @default.
- W2153272717 cites W2158100094 @default.
- W2153272717 cites W2618022080 @default.
- W2153272717 cites W36865365 @default.
- W2153272717 cites W59365162 @default.
- W2153272717 cites W2573837267 @default.
- W2153272717 doi "https://doi.org/10.1109/cise.2009.5366263" @default.
- W2153272717 hasPublicationYear "2009" @default.
- W2153272717 type Work @default.
- W2153272717 sameAs 2153272717 @default.
- W2153272717 citedByCount "2" @default.
- W2153272717 countsByYear W21532727172020 @default.
- W2153272717 crossrefType "proceedings-article" @default.
- W2153272717 hasAuthorship W2153272717A5026967617 @default.
- W2153272717 hasConcept C104317684 @default.
- W2153272717 hasConcept C105580179 @default.
- W2153272717 hasConcept C112505250 @default.
- W2153272717 hasConcept C136155141 @default.
- W2153272717 hasConcept C146763376 @default.
- W2153272717 hasConcept C149364088 @default.
- W2153272717 hasConcept C185592680 @default.
- W2153272717 hasConcept C197551870 @default.
- W2153272717 hasConcept C199360897 @default.
- W2153272717 hasConcept C30788636 @default.
- W2153272717 hasConcept C38677869 @default.
- W2153272717 hasConcept C41008148 @default.
- W2153272717 hasConcept C54355233 @default.
- W2153272717 hasConcept C55493867 @default.
- W2153272717 hasConcept C80444323 @default.
- W2153272717 hasConcept C86803240 @default.
- W2153272717 hasConceptScore W2153272717C104317684 @default.
- W2153272717 hasConceptScore W2153272717C105580179 @default.
- W2153272717 hasConceptScore W2153272717C112505250 @default.
- W2153272717 hasConceptScore W2153272717C136155141 @default.
- W2153272717 hasConceptScore W2153272717C146763376 @default.
- W2153272717 hasConceptScore W2153272717C149364088 @default.
- W2153272717 hasConceptScore W2153272717C185592680 @default.
- W2153272717 hasConceptScore W2153272717C197551870 @default.
- W2153272717 hasConceptScore W2153272717C199360897 @default.
- W2153272717 hasConceptScore W2153272717C30788636 @default.
- W2153272717 hasConceptScore W2153272717C38677869 @default.
- W2153272717 hasConceptScore W2153272717C41008148 @default.
- W2153272717 hasConceptScore W2153272717C54355233 @default.
- W2153272717 hasConceptScore W2153272717C55493867 @default.
- W2153272717 hasConceptScore W2153272717C80444323 @default.
- W2153272717 hasConceptScore W2153272717C86803240 @default.
- W2153272717 hasLocation W21532727171 @default.
- W2153272717 hasOpenAccess W2153272717 @default.
- W2153272717 hasPrimaryLocation W21532727171 @default.
- W2153272717 hasRelatedWork W1546362643 @default.
- W2153272717 hasRelatedWork W1796174165 @default.
- W2153272717 hasRelatedWork W1970571774 @default.
- W2153272717 hasRelatedWork W1976252817 @default.
- W2153272717 hasRelatedWork W2005783020 @default.
- W2153272717 hasRelatedWork W2062463517 @default.
- W2153272717 hasRelatedWork W2125946389 @default.
- W2153272717 hasRelatedWork W2182369299 @default.
- W2153272717 hasRelatedWork W2345989716 @default.
- W2153272717 hasRelatedWork W4213468562 @default.
- W2153272717 isParatext "false" @default.
- W2153272717 isRetracted "false" @default.
- W2153272717 magId "2153272717" @default.
- W2153272717 workType "article" @default.