Matches in SemOpenAlex for { <https://semopenalex.org/work/W2153061569> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2153061569 abstract "The method of stochastic state classes provides a new approach for the analysis of non-Markovian stochastic Petri nets, which relies on the stochastic expansion of the graph of non-deterministic state classes based on difference bounds matrix (DBM) which is usually employed in qualitative verification. In so doing, the method is able to manage multiple concurrent non-exponential (GEN) transitions and largely extends the class of models that are amenable to quantitative evaluation. However, its application requires that every cycle in the graph of non-deterministic state classes visits at least a regeneration point where all GEN transitions are newly enabled. In particular, this rules out models whose non-deterministic class graph includes cycles within a continuous time Markov chain (CTMC) subordinated to the activity period of one or more GEN transitions.In this paper, we propose an extension that overcomes this limitation by aggregating together classes that are reached through firings that do not change the enabling status of GEN transitions.This enlarges the class of models that can be analysed through the method of stochastic state classes and makes it become a proper extension of the class of models that satisfies the so called enabling restriction." @default.
- W2153061569 created "2016-06-24" @default.
- W2153061569 creator A5037029993 @default.
- W2153061569 creator A5055547076 @default.
- W2153061569 date "2009-09-01" @default.
- W2153061569 modified "2023-09-27" @default.
- W2153061569 title "Aggregated Stochastic State Classes in Quantitative Evaluation of non-Markovian Stochastic Petri Nets" @default.
- W2153061569 cites W1831904643 @default.
- W2153061569 cites W2042801853 @default.
- W2153061569 cites W2063917454 @default.
- W2153061569 cites W2070996046 @default.
- W2153061569 cites W2072488475 @default.
- W2153061569 cites W2098714293 @default.
- W2153061569 cites W2117886447 @default.
- W2153061569 cites W2124065284 @default.
- W2153061569 cites W2132056455 @default.
- W2153061569 cites W2147622026 @default.
- W2153061569 cites W2151612633 @default.
- W2153061569 cites W2160883697 @default.
- W2153061569 cites W4234119303 @default.
- W2153061569 cites W4236536558 @default.
- W2153061569 cites W4240443241 @default.
- W2153061569 doi "https://doi.org/10.1109/qest.2009.33" @default.
- W2153061569 hasPublicationYear "2009" @default.
- W2153061569 type Work @default.
- W2153061569 sameAs 2153061569 @default.
- W2153061569 citedByCount "7" @default.
- W2153061569 countsByYear W21530615692012 @default.
- W2153061569 countsByYear W21530615692015 @default.
- W2153061569 crossrefType "proceedings-article" @default.
- W2153061569 hasAuthorship W2153061569A5037029993 @default.
- W2153061569 hasAuthorship W2153061569A5055547076 @default.
- W2153061569 hasBestOaLocation W21530615692 @default.
- W2153061569 hasConcept C105795698 @default.
- W2153061569 hasConcept C11413529 @default.
- W2153061569 hasConcept C119857082 @default.
- W2153061569 hasConcept C126255220 @default.
- W2153061569 hasConcept C127491075 @default.
- W2153061569 hasConcept C132525143 @default.
- W2153061569 hasConcept C147080032 @default.
- W2153061569 hasConcept C154945302 @default.
- W2153061569 hasConcept C159886148 @default.
- W2153061569 hasConcept C163836022 @default.
- W2153061569 hasConcept C197551870 @default.
- W2153061569 hasConcept C199360897 @default.
- W2153061569 hasConcept C2777212361 @default.
- W2153061569 hasConcept C2778029271 @default.
- W2153061569 hasConcept C33923547 @default.
- W2153061569 hasConcept C38677869 @default.
- W2153061569 hasConcept C41008148 @default.
- W2153061569 hasConcept C48103436 @default.
- W2153061569 hasConcept C49555168 @default.
- W2153061569 hasConcept C54907487 @default.
- W2153061569 hasConcept C80444323 @default.
- W2153061569 hasConcept C8272713 @default.
- W2153061569 hasConcept C98763669 @default.
- W2153061569 hasConceptScore W2153061569C105795698 @default.
- W2153061569 hasConceptScore W2153061569C11413529 @default.
- W2153061569 hasConceptScore W2153061569C119857082 @default.
- W2153061569 hasConceptScore W2153061569C126255220 @default.
- W2153061569 hasConceptScore W2153061569C127491075 @default.
- W2153061569 hasConceptScore W2153061569C132525143 @default.
- W2153061569 hasConceptScore W2153061569C147080032 @default.
- W2153061569 hasConceptScore W2153061569C154945302 @default.
- W2153061569 hasConceptScore W2153061569C159886148 @default.
- W2153061569 hasConceptScore W2153061569C163836022 @default.
- W2153061569 hasConceptScore W2153061569C197551870 @default.
- W2153061569 hasConceptScore W2153061569C199360897 @default.
- W2153061569 hasConceptScore W2153061569C2777212361 @default.
- W2153061569 hasConceptScore W2153061569C2778029271 @default.
- W2153061569 hasConceptScore W2153061569C33923547 @default.
- W2153061569 hasConceptScore W2153061569C38677869 @default.
- W2153061569 hasConceptScore W2153061569C41008148 @default.
- W2153061569 hasConceptScore W2153061569C48103436 @default.
- W2153061569 hasConceptScore W2153061569C49555168 @default.
- W2153061569 hasConceptScore W2153061569C54907487 @default.
- W2153061569 hasConceptScore W2153061569C80444323 @default.
- W2153061569 hasConceptScore W2153061569C8272713 @default.
- W2153061569 hasConceptScore W2153061569C98763669 @default.
- W2153061569 hasLocation W21530615691 @default.
- W2153061569 hasLocation W21530615692 @default.
- W2153061569 hasOpenAccess W2153061569 @default.
- W2153061569 hasPrimaryLocation W21530615691 @default.
- W2153061569 hasRelatedWork W1003548120 @default.
- W2153061569 hasRelatedWork W1585263999 @default.
- W2153061569 hasRelatedWork W2011387321 @default.
- W2153061569 hasRelatedWork W2072488475 @default.
- W2153061569 hasRelatedWork W2146188408 @default.
- W2153061569 hasRelatedWork W2358704792 @default.
- W2153061569 hasRelatedWork W2361729232 @default.
- W2153061569 hasRelatedWork W2735388074 @default.
- W2153061569 hasRelatedWork W1968612088 @default.
- W2153061569 hasRelatedWork W2584984048 @default.
- W2153061569 isParatext "false" @default.
- W2153061569 isRetracted "false" @default.
- W2153061569 magId "2153061569" @default.
- W2153061569 workType "article" @default.