Matches in SemOpenAlex for { <https://semopenalex.org/work/W2157095589> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2157095589 endingPage "282" @default.
- W2157095589 startingPage "265" @default.
- W2157095589 abstract "Deterministic and Stochastic Petri Nets (DSPNs) are widely used for modeling discrete-event systems where events may occur either without consuming time, after a deterministic time, or after an exponentially distributed time. The underlying process defined by DSPNs, under certain restrictions, corresponds to a class of Markov Regenerative Processes (MRGP). In this paper, we investigate the use of CSL (Continuous Stochastic Logic) to express probabilistic properties, such as time-bounded until and time-bounded next, at the DSPN level. The verification of such properties requires the solution of the steady-state and transient probabilities of the underlying MRGP. We also address a number of semantic issues regarding the application of CSL for MRGP and provide numerical model checking algorithms for this logic. A prototype model checker, based on SPNica, is also described." @default.
- W2157095589 created "2016-06-24" @default.
- W2157095589 creator A5026668992 @default.
- W2157095589 creator A5036034957 @default.
- W2157095589 date "2006-03-27" @default.
- W2157095589 modified "2023-09-23" @default.
- W2157095589 title "CSL Model Checking of Deterministic and Stochastic Petri Nets" @default.
- W2157095589 hasPublicationYear "2006" @default.
- W2157095589 type Work @default.
- W2157095589 sameAs 2157095589 @default.
- W2157095589 citedByCount "1" @default.
- W2157095589 crossrefType "journal-article" @default.
- W2157095589 hasAuthorship W2157095589A5026668992 @default.
- W2157095589 hasAuthorship W2157095589A5036034957 @default.
- W2157095589 hasConcept C105795698 @default.
- W2157095589 hasConcept C110251889 @default.
- W2157095589 hasConcept C11413529 @default.
- W2157095589 hasConcept C119857082 @default.
- W2157095589 hasConcept C121332964 @default.
- W2157095589 hasConcept C134306372 @default.
- W2157095589 hasConcept C154945302 @default.
- W2157095589 hasConcept C159886148 @default.
- W2157095589 hasConcept C197551870 @default.
- W2157095589 hasConcept C199360897 @default.
- W2157095589 hasConcept C25016198 @default.
- W2157095589 hasConcept C2779662365 @default.
- W2157095589 hasConcept C2780799671 @default.
- W2157095589 hasConcept C33923547 @default.
- W2157095589 hasConcept C34388435 @default.
- W2157095589 hasConcept C38677869 @default.
- W2157095589 hasConcept C41008148 @default.
- W2157095589 hasConcept C49937458 @default.
- W2157095589 hasConcept C62520636 @default.
- W2157095589 hasConcept C80444323 @default.
- W2157095589 hasConcept C98763669 @default.
- W2157095589 hasConceptScore W2157095589C105795698 @default.
- W2157095589 hasConceptScore W2157095589C110251889 @default.
- W2157095589 hasConceptScore W2157095589C11413529 @default.
- W2157095589 hasConceptScore W2157095589C119857082 @default.
- W2157095589 hasConceptScore W2157095589C121332964 @default.
- W2157095589 hasConceptScore W2157095589C134306372 @default.
- W2157095589 hasConceptScore W2157095589C154945302 @default.
- W2157095589 hasConceptScore W2157095589C159886148 @default.
- W2157095589 hasConceptScore W2157095589C197551870 @default.
- W2157095589 hasConceptScore W2157095589C199360897 @default.
- W2157095589 hasConceptScore W2157095589C25016198 @default.
- W2157095589 hasConceptScore W2157095589C2779662365 @default.
- W2157095589 hasConceptScore W2157095589C2780799671 @default.
- W2157095589 hasConceptScore W2157095589C33923547 @default.
- W2157095589 hasConceptScore W2157095589C34388435 @default.
- W2157095589 hasConceptScore W2157095589C38677869 @default.
- W2157095589 hasConceptScore W2157095589C41008148 @default.
- W2157095589 hasConceptScore W2157095589C49937458 @default.
- W2157095589 hasConceptScore W2157095589C62520636 @default.
- W2157095589 hasConceptScore W2157095589C80444323 @default.
- W2157095589 hasConceptScore W2157095589C98763669 @default.
- W2157095589 hasLocation W21570955891 @default.
- W2157095589 hasOpenAccess W2157095589 @default.
- W2157095589 hasPrimaryLocation W21570955891 @default.
- W2157095589 hasRelatedWork W1585873980 @default.
- W2157095589 hasRelatedWork W1898184382 @default.
- W2157095589 hasRelatedWork W1975219867 @default.
- W2157095589 hasRelatedWork W1976061003 @default.
- W2157095589 hasRelatedWork W2018668200 @default.
- W2157095589 hasRelatedWork W2025389469 @default.
- W2157095589 hasRelatedWork W2084726594 @default.
- W2157095589 hasRelatedWork W2096899005 @default.
- W2157095589 hasRelatedWork W2098395449 @default.
- W2157095589 hasRelatedWork W2162607114 @default.
- W2157095589 hasRelatedWork W2171920512 @default.
- W2157095589 hasRelatedWork W2200793582 @default.
- W2157095589 hasRelatedWork W2293229327 @default.
- W2157095589 hasRelatedWork W2294647483 @default.
- W2157095589 hasRelatedWork W2749970999 @default.
- W2157095589 hasRelatedWork W2801154722 @default.
- W2157095589 hasRelatedWork W2916997366 @default.
- W2157095589 hasRelatedWork W2941214175 @default.
- W2157095589 hasRelatedWork W3046578987 @default.
- W2157095589 hasRelatedWork W2737154839 @default.
- W2157095589 isParatext "false" @default.
- W2157095589 isRetracted "false" @default.
- W2157095589 magId "2157095589" @default.
- W2157095589 workType "article" @default.