FRINK Linked Data Fragments server

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

• W2042600536 endingPage "355" @default.
• W2042600536 startingPage "330" @default.
• W2042600536 abstract "Several formalisms to model distributed real-time systems coexist in the literature. This naturally induces a need to compare their expressiveness and to translate models from one formalism to another when possible. The first formal comparisons of the expressiveness of these models focused on the preservation of the sequential behavior of the models, using notions like timed language equivalence or timed bisimilarity. They do not consider preservation of concurrency. In this paper we define timed traces as a partial order representation of executions of our models for real-time distributed systems. Timed traces provide an alternative to timed words, and take the distribution of actions into account. We propose a translation between two popular formalisms that describe timed concurrent systems: 1-bounded time Petri nets (TPN) and networks of timed automata (NTA). Our translation preserves the distribution of actions, that is we require that if the TPN represents the product of several components (called processes), then each process should have its counterpart as one timed automaton in the resulting NTA." @default.
• W2042600536 created "2016-06-24" @default.
• W2042600536 creator A5008279822 @default.
• W2042600536 creator A5043658351 @default.
• W2042600536 creator A5082604436 @default.
• W2042600536 date "2012-03-16" @default.
• W2042600536 modified "2023-09-25" @default.
• W2042600536 title "A concurrency-preserving translation from time Petri nets to networks of timed automata" @default.
• W2042600536 cites W1511538751 @default.
• W2042600536 cites W1551214605 @default.
• W2042600536 cites W1569936610 @default.
• W2042600536 cites W1600767839 @default.
• W2042600536 cites W1690546704 @default.
• W2042600536 cites W1865562238 @default.
• W2042600536 cites W1989800577 @default.
• W2042600536 cites W2000518871 @default.
• W2042600536 cites W2000947342 @default.
• W2042600536 cites W2036670017 @default.
• W2042600536 cites W2040791800 @default.
• W2042600536 cites W2070996046 @default.
• W2042600536 cites W2101508170 @default.
• W2042600536 cites W2129140418 @default.
• W2042600536 cites W2142340571 @default.
• W2042600536 cites W2142718416 @default.
• W2042600536 cites W2151612633 @default.
• W2042600536 cites W2170115973 @default.
• W2042600536 cites W4251681602 @default.
• W2042600536 doi "https://doi.org/10.1007/s10703-012-0146-4" @default.
• W2042600536 hasPublicationYear "2012" @default.
• W2042600536 type Work @default.
• W2042600536 sameAs 2042600536 @default.
• W2042600536 citedByCount "10" @default.
• W2042600536 countsByYear W20426005362012 @default.
• W2042600536 countsByYear W20426005362013 @default.
• W2042600536 countsByYear W20426005362014 @default.
• W2042600536 countsByYear W20426005362015 @default.
• W2042600536 countsByYear W20426005362019 @default.
• W2042600536 countsByYear W20426005362020 @default.
• W2042600536 countsByYear W20426005362021 @default.
• W2042600536 crossrefType "journal-article" @default.
• W2042600536 hasAuthorship W2042600536A5008279822 @default.
• W2042600536 hasAuthorship W2042600536A5043658351 @default.
• W2042600536 hasAuthorship W2042600536A5082604436 @default.
• W2042600536 hasBestOaLocation W20426005363 @default.
• W2042600536 hasConcept C110251889 @default.
• W2042600536 hasConcept C112505250 @default.
• W2042600536 hasConcept C118615104 @default.
• W2042600536 hasConcept C120314980 @default.
• W2042600536 hasConcept C134306372 @default.
• W2042600536 hasConcept C142362112 @default.
• W2042600536 hasConcept C153349607 @default.
• W2042600536 hasConcept C161771561 @default.
• W2042600536 hasConcept C171018156 @default.
• W2042600536 hasConcept C193702766 @default.
• W2042600536 hasConcept C199360897 @default.
• W2042600536 hasConcept C2524010 @default.
• W2042600536 hasConcept C2780069185 @default.
• W2042600536 hasConcept C30788636 @default.
• W2042600536 hasConcept C33923547 @default.
• W2042600536 hasConcept C34388435 @default.
• W2042600536 hasConcept C38677869 @default.
• W2042600536 hasConcept C41008148 @default.
• W2042600536 hasConcept C558565934 @default.
• W2042600536 hasConcept C73301696 @default.
• W2042600536 hasConcept C80444323 @default.
• W2042600536 hasConceptScore W2042600536C110251889 @default.
• W2042600536 hasConceptScore W2042600536C112505250 @default.
• W2042600536 hasConceptScore W2042600536C118615104 @default.
• W2042600536 hasConceptScore W2042600536C120314980 @default.
• W2042600536 hasConceptScore W2042600536C134306372 @default.
• W2042600536 hasConceptScore W2042600536C142362112 @default.
• W2042600536 hasConceptScore W2042600536C153349607 @default.
• W2042600536 hasConceptScore W2042600536C161771561 @default.
• W2042600536 hasConceptScore W2042600536C171018156 @default.
• W2042600536 hasConceptScore W2042600536C193702766 @default.
• W2042600536 hasConceptScore W2042600536C199360897 @default.
• W2042600536 hasConceptScore W2042600536C2524010 @default.
• W2042600536 hasConceptScore W2042600536C2780069185 @default.
• W2042600536 hasConceptScore W2042600536C30788636 @default.
• W2042600536 hasConceptScore W2042600536C33923547 @default.
• W2042600536 hasConceptScore W2042600536C34388435 @default.
• W2042600536 hasConceptScore W2042600536C38677869 @default.
• W2042600536 hasConceptScore W2042600536C41008148 @default.
• W2042600536 hasConceptScore W2042600536C558565934 @default.
• W2042600536 hasConceptScore W2042600536C73301696 @default.
• W2042600536 hasConceptScore W2042600536C80444323 @default.
• W2042600536 hasIssue "3" @default.
• W2042600536 hasLocation W20426005361 @default.
• W2042600536 hasLocation W20426005362 @default.
• W2042600536 hasLocation W20426005363 @default.
• W2042600536 hasLocation W20426005364 @default.
• W2042600536 hasLocation W20426005365 @default.
• W2042600536 hasLocation W20426005366 @default.
• W2042600536 hasOpenAccess W2042600536 @default.
• W2042600536 hasPrimaryLocation W20426005361 @default.
• W2042600536 hasRelatedWork W1506579115 @default.
• W2042600536 hasRelatedWork W1517948404 @default.
• W2042600536 hasRelatedWork W1518566078 @default.

• next