Matches in SemOpenAlex for { <https://semopenalex.org/work/W4312912094> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W4312912094 endingPage "290" @default.
- W4312912094 startingPage "284" @default.
- W4312912094 abstract "We consider an extension of Timed Petri Nets “à la Ramchandani” where the transitions are partitioned into delayable and non-delayable transitions which has proven to be suitable for the design of synchronous circuits. For this model called Delayable Timed Petri Net (DTPN), the firing delay of a non-delayable transition is strict whereas a delayable transition can miss its firing delay. Since the delays are natural numbers, this model can be studied as a discrete time model.We deal with the expressiveness of DTPN by a comparison with the well known Merlin's Time Petri Net model for which transitions can fire in a time interval. We show that DTPN are strictly more expressive w.r.t. weak timed bisimilarity than Merlin's model under the discrete-time semantics. We then deal with the symbolic reachability analysis of DTPN, for which we show the complexity of the successor symbolic state computation to be O(n). In addition, we propose a reduction of the number of edges to explore that preserves the markings and the firing sequences. The symbolic state space exploration is implemented in a prototype tool, which is evaluated on a classical TPN problem and a circuit design application." @default.
- W4312912094 created "2023-01-05" @default.
- W4312912094 creator A5012250079 @default.
- W4312912094 creator A5017396199 @default.
- W4312912094 creator A5054781086 @default.
- W4312912094 creator A5064585406 @default.
- W4312912094 date "2022-01-01" @default.
- W4312912094 modified "2023-10-02" @default.
- W4312912094 title "Expressiveness and analysis of Delayable Timed Petri Net*" @default.
- W4312912094 cites W2030263557 @default.
- W4312912094 cites W2030898836 @default.
- W4312912094 cites W2151612633 @default.
- W4312912094 doi "https://doi.org/10.1016/j.ifacol.2022.10.355" @default.
- W4312912094 hasPublicationYear "2022" @default.
- W4312912094 type Work @default.
- W4312912094 citedByCount "0" @default.
- W4312912094 crossrefType "journal-article" @default.
- W4312912094 hasAuthorship W4312912094A5012250079 @default.
- W4312912094 hasAuthorship W4312912094A5017396199 @default.
- W4312912094 hasAuthorship W4312912094A5054781086 @default.
- W4312912094 hasAuthorship W4312912094A5064585406 @default.
- W4312912094 hasBestOaLocation W43129120941 @default.
- W4312912094 hasConcept C105795698 @default.
- W4312912094 hasConcept C110251889 @default.
- W4312912094 hasConcept C11413529 @default.
- W4312912094 hasConcept C114614502 @default.
- W4312912094 hasConcept C134306372 @default.
- W4312912094 hasConcept C136643341 @default.
- W4312912094 hasConcept C14166107 @default.
- W4312912094 hasConcept C184337299 @default.
- W4312912094 hasConcept C197551870 @default.
- W4312912094 hasConcept C199360897 @default.
- W4312912094 hasConcept C2524010 @default.
- W4312912094 hasConcept C2778029271 @default.
- W4312912094 hasConcept C2778067643 @default.
- W4312912094 hasConcept C33923547 @default.
- W4312912094 hasConcept C38677869 @default.
- W4312912094 hasConcept C41008148 @default.
- W4312912094 hasConcept C48103436 @default.
- W4312912094 hasConcept C65620979 @default.
- W4312912094 hasConcept C72434380 @default.
- W4312912094 hasConcept C75306776 @default.
- W4312912094 hasConcept C80444323 @default.
- W4312912094 hasConceptScore W4312912094C105795698 @default.
- W4312912094 hasConceptScore W4312912094C110251889 @default.
- W4312912094 hasConceptScore W4312912094C11413529 @default.
- W4312912094 hasConceptScore W4312912094C114614502 @default.
- W4312912094 hasConceptScore W4312912094C134306372 @default.
- W4312912094 hasConceptScore W4312912094C136643341 @default.
- W4312912094 hasConceptScore W4312912094C14166107 @default.
- W4312912094 hasConceptScore W4312912094C184337299 @default.
- W4312912094 hasConceptScore W4312912094C197551870 @default.
- W4312912094 hasConceptScore W4312912094C199360897 @default.
- W4312912094 hasConceptScore W4312912094C2524010 @default.
- W4312912094 hasConceptScore W4312912094C2778029271 @default.
- W4312912094 hasConceptScore W4312912094C2778067643 @default.
- W4312912094 hasConceptScore W4312912094C33923547 @default.
- W4312912094 hasConceptScore W4312912094C38677869 @default.
- W4312912094 hasConceptScore W4312912094C41008148 @default.
- W4312912094 hasConceptScore W4312912094C48103436 @default.
- W4312912094 hasConceptScore W4312912094C65620979 @default.
- W4312912094 hasConceptScore W4312912094C72434380 @default.
- W4312912094 hasConceptScore W4312912094C75306776 @default.
- W4312912094 hasConceptScore W4312912094C80444323 @default.
- W4312912094 hasIssue "28" @default.
- W4312912094 hasLocation W43129120941 @default.
- W4312912094 hasLocation W43129120942 @default.
- W4312912094 hasLocation W43129120943 @default.
- W4312912094 hasOpenAccess W4312912094 @default.
- W4312912094 hasPrimaryLocation W43129120941 @default.
- W4312912094 hasRelatedWork W2025601352 @default.
- W4312912094 hasRelatedWork W2062420902 @default.
- W4312912094 hasRelatedWork W2099923307 @default.
- W4312912094 hasRelatedWork W2136229318 @default.
- W4312912094 hasRelatedWork W2160063844 @default.
- W4312912094 hasRelatedWork W2162086683 @default.
- W4312912094 hasRelatedWork W2168994135 @default.
- W4312912094 hasRelatedWork W2170020397 @default.
- W4312912094 hasRelatedWork W2171468557 @default.
- W4312912094 hasRelatedWork W2990690886 @default.
- W4312912094 hasVolume "55" @default.
- W4312912094 isParatext "false" @default.
- W4312912094 isRetracted "false" @default.
- W4312912094 workType "article" @default.