Matches in SemOpenAlex for { <https://semopenalex.org/work/W1596935793> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W1596935793 endingPage "97" @default.
- W1596935793 startingPage "82" @default.
- W1596935793 abstract "Several recent papers investigate the relative expressiveness of Timed Automata and Time Petri Nets, two widespread models for realtime systems. It has been shown notably that Timed Automata and Bounded Time Petri Nets are equally expressive in terms of timed language acceptance, but that Timed Automata are strictly more expressive in terms of weak timed bisimilarity. This paper compares Timed Automata with Bounded Time Petri Nets extended with static Priorities, and shows that two large subsets of these models are equally expressive in terms of weak timed bisimilarity." @default.
- W1596935793 created "2016-06-24" @default.
- W1596935793 creator A5005330030 @default.
- W1596935793 creator A5047901519 @default.
- W1596935793 creator A5089844587 @default.
- W1596935793 date "2006-01-01" @default.
- W1596935793 modified "2023-10-03" @default.
- W1596935793 title "Bridging the Gap Between Timed Automata and Bounded Time Petri Nets" @default.
- W1596935793 cites W1841167015 @default.
- W1596935793 cites W1863150103 @default.
- W1596935793 cites W2000518871 @default.
- W1596935793 cites W2042801853 @default.
- W1596935793 cites W2099924351 @default.
- W1596935793 cites W2101508170 @default.
- W1596935793 cites W2151612633 @default.
- W1596935793 cites W2158100094 @default.
- W1596935793 cites W2162510824 @default.
- W1596935793 cites W2180677596 @default.
- W1596935793 cites W4253563042 @default.
- W1596935793 doi "https://doi.org/10.1007/11867340_7" @default.
- W1596935793 hasPublicationYear "2006" @default.
- W1596935793 type Work @default.
- W1596935793 sameAs 1596935793 @default.
- W1596935793 citedByCount "49" @default.
- W1596935793 countsByYear W15969357932012 @default.
- W1596935793 countsByYear W15969357932013 @default.
- W1596935793 countsByYear W15969357932014 @default.
- W1596935793 countsByYear W15969357932015 @default.
- W1596935793 countsByYear W15969357932016 @default.
- W1596935793 countsByYear W15969357932017 @default.
- W1596935793 countsByYear W15969357932018 @default.
- W1596935793 countsByYear W15969357932019 @default.
- W1596935793 countsByYear W15969357932020 @default.
- W1596935793 countsByYear W15969357932021 @default.
- W1596935793 countsByYear W15969357932022 @default.
- W1596935793 countsByYear W15969357932023 @default.
- W1596935793 crossrefType "book-chapter" @default.
- W1596935793 hasAuthorship W1596935793A5005330030 @default.
- W1596935793 hasAuthorship W1596935793A5047901519 @default.
- W1596935793 hasAuthorship W1596935793A5089844587 @default.
- W1596935793 hasConcept C112505250 @default.
- W1596935793 hasConcept C134306372 @default.
- W1596935793 hasConcept C174348530 @default.
- W1596935793 hasConcept C197551870 @default.
- W1596935793 hasConcept C199360897 @default.
- W1596935793 hasConcept C30788636 @default.
- W1596935793 hasConcept C31258907 @default.
- W1596935793 hasConcept C33923547 @default.
- W1596935793 hasConcept C34388435 @default.
- W1596935793 hasConcept C38677869 @default.
- W1596935793 hasConcept C41008148 @default.
- W1596935793 hasConcept C80444323 @default.
- W1596935793 hasConceptScore W1596935793C112505250 @default.
- W1596935793 hasConceptScore W1596935793C134306372 @default.
- W1596935793 hasConceptScore W1596935793C174348530 @default.
- W1596935793 hasConceptScore W1596935793C197551870 @default.
- W1596935793 hasConceptScore W1596935793C199360897 @default.
- W1596935793 hasConceptScore W1596935793C30788636 @default.
- W1596935793 hasConceptScore W1596935793C31258907 @default.
- W1596935793 hasConceptScore W1596935793C33923547 @default.
- W1596935793 hasConceptScore W1596935793C34388435 @default.
- W1596935793 hasConceptScore W1596935793C38677869 @default.
- W1596935793 hasConceptScore W1596935793C41008148 @default.
- W1596935793 hasConceptScore W1596935793C80444323 @default.
- W1596935793 hasLocation W15969357931 @default.
- W1596935793 hasOpenAccess W1596935793 @default.
- W1596935793 hasPrimaryLocation W15969357931 @default.
- W1596935793 hasRelatedWork W1484772198 @default.
- W1596935793 hasRelatedWork W1546362643 @default.
- W1596935793 hasRelatedWork W1970571774 @default.
- W1596935793 hasRelatedWork W2052452011 @default.
- W1596935793 hasRelatedWork W2062463517 @default.
- W1596935793 hasRelatedWork W2125946389 @default.
- W1596935793 hasRelatedWork W2153272717 @default.
- W1596935793 hasRelatedWork W2379288397 @default.
- W1596935793 hasRelatedWork W4213468562 @default.
- W1596935793 hasRelatedWork W2484040443 @default.
- W1596935793 isParatext "false" @default.
- W1596935793 isRetracted "false" @default.
- W1596935793 magId "1596935793" @default.
- W1596935793 workType "book-chapter" @default.