Matches in SemOpenAlex for { <https://semopenalex.org/work/W63786410> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W63786410 endingPage "149" @default.
- W63786410 startingPage "130" @default.
- W63786410 abstract "We consider time Petri nets with multiple-server semantics. We first prove that this setting is strictly more expressive, in terms of timed bisimulation, than its single-server counterpart. We then focus on two choices for the firing of multiple instances of the same transition: the more conservative safety-wise non deterministic choice, where all firable instances may fire in any order, and a simpler alternative, First Enabled First Fired (FEFF), where only the oldest instance may fire, obviously leading to a much more compact state-space. We prove that both semantics are not bisimilar but actually simulate each other with strong timed simulations, which in particular implies that they generate the same timed traces. FEFF is then very appropriate to deal with linear timed properties of time Petri nets." @default.
- W63786410 created "2016-06-24" @default.
- W63786410 creator A5012250079 @default.
- W63786410 creator A5045071943 @default.
- W63786410 creator A5064585406 @default.
- W63786410 date "2013-01-01" @default.
- W63786410 modified "2023-10-11" @default.
- W63786410 title "On Multi-enabledness in Time Petri Nets" @default.
- W63786410 cites W2006988532 @default.
- W63786410 cites W2074016802 @default.
- W63786410 cites W2116312614 @default.
- W63786410 cites W2144938038 @default.
- W63786410 cites W2145580394 @default.
- W63786410 cites W2169601056 @default.
- W63786410 cites W2296604987 @default.
- W63786410 doi "https://doi.org/10.1007/978-3-642-38697-8_8" @default.
- W63786410 hasPublicationYear "2013" @default.
- W63786410 type Work @default.
- W63786410 sameAs 63786410 @default.
- W63786410 citedByCount "18" @default.
- W63786410 countsByYear W637864102013 @default.
- W63786410 countsByYear W637864102014 @default.
- W63786410 countsByYear W637864102015 @default.
- W63786410 countsByYear W637864102016 @default.
- W63786410 countsByYear W637864102017 @default.
- W63786410 countsByYear W637864102018 @default.
- W63786410 countsByYear W637864102019 @default.
- W63786410 countsByYear W637864102020 @default.
- W63786410 countsByYear W637864102021 @default.
- W63786410 countsByYear W637864102022 @default.
- W63786410 countsByYear W637864102023 @default.
- W63786410 crossrefType "book-chapter" @default.
- W63786410 hasAuthorship W63786410A5012250079 @default.
- W63786410 hasAuthorship W63786410A5045071943 @default.
- W63786410 hasAuthorship W63786410A5064585406 @default.
- W63786410 hasBestOaLocation W637864101 @default.
- W63786410 hasConcept C136155141 @default.
- W63786410 hasConcept C197551870 @default.
- W63786410 hasConcept C199360897 @default.
- W63786410 hasConcept C38677869 @default.
- W63786410 hasConcept C41008148 @default.
- W63786410 hasConceptScore W63786410C136155141 @default.
- W63786410 hasConceptScore W63786410C197551870 @default.
- W63786410 hasConceptScore W63786410C199360897 @default.
- W63786410 hasConceptScore W63786410C38677869 @default.
- W63786410 hasConceptScore W63786410C41008148 @default.
- W63786410 hasLocation W637864101 @default.
- W63786410 hasLocation W637864102 @default.
- W63786410 hasLocation W637864103 @default.
- W63786410 hasOpenAccess W63786410 @default.
- W63786410 hasPrimaryLocation W637864101 @default.
- W63786410 hasRelatedWork W1543378523 @default.
- W63786410 hasRelatedWork W1963804032 @default.
- W63786410 hasRelatedWork W2016850136 @default.
- W63786410 hasRelatedWork W2016989291 @default.
- W63786410 hasRelatedWork W2064254377 @default.
- W63786410 hasRelatedWork W2257573499 @default.
- W63786410 hasRelatedWork W2362023948 @default.
- W63786410 hasRelatedWork W2380620445 @default.
- W63786410 hasRelatedWork W2381491984 @default.
- W63786410 hasRelatedWork W2901841247 @default.
- W63786410 isParatext "false" @default.
- W63786410 isRetracted "false" @default.
- W63786410 magId "63786410" @default.
- W63786410 workType "book-chapter" @default.