Matches in SemOpenAlex for { <https://semopenalex.org/work/W1938946852> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W1938946852 abstract "Time Petri Nets (TPN) are a well-known formalism for modelling time-dependent systems with timing constraints. This paper proposes an approach based on a stochastic extension of TPN (sTPN), which enables both qualitative assessment of feasible temporal behaviors through model checking, and quantitative evaluation of a probability measure of a given behavior, by statistical model checking. The experimental work rests on the use of the latest version of the UPPAAL toolbox which supports both exhaustive non deterministic analysis and statistical model checking of system properties. The approach is demonstrated through an example." @default.
- W1938946852 created "2016-06-24" @default.
- W1938946852 creator A5037490312 @default.
- W1938946852 creator A5040995155 @default.
- W1938946852 creator A5070083527 @default.
- W1938946852 date "2015-10-11" @default.
- W1938946852 modified "2023-09-25" @default.
- W1938946852 title "Qualitative and Quantitative Evaluation of Stochastic Time Petri Nets" @default.
- W1938946852 cites W1529059198 @default.
- W1938946852 cites W1862398452 @default.
- W1938946852 cites W1962072139 @default.
- W1938946852 cites W1986755980 @default.
- W1938946852 cites W2026045845 @default.
- W1938946852 cites W2042801853 @default.
- W1938946852 cites W2053811651 @default.
- W1938946852 cites W2064787495 @default.
- W1938946852 cites W2070996046 @default.
- W1938946852 cites W2101508170 @default.
- W1938946852 cites W2106641552 @default.
- W1938946852 cites W2115857453 @default.
- W1938946852 cites W2117170357 @default.
- W1938946852 cites W2132056455 @default.
- W1938946852 cites W2135235051 @default.
- W1938946852 cites W2151612633 @default.
- W1938946852 cites W2155652247 @default.
- W1938946852 cites W2340735175 @default.
- W1938946852 cites W2913459036 @default.
- W1938946852 doi "https://doi.org/10.15439/2015f69" @default.
- W1938946852 hasPublicationYear "2015" @default.
- W1938946852 type Work @default.
- W1938946852 sameAs 1938946852 @default.
- W1938946852 citedByCount "4" @default.
- W1938946852 countsByYear W19389468522016 @default.
- W1938946852 countsByYear W19389468522019 @default.
- W1938946852 crossrefType "proceedings-article" @default.
- W1938946852 hasAuthorship W1938946852A5037490312 @default.
- W1938946852 hasAuthorship W1938946852A5040995155 @default.
- W1938946852 hasAuthorship W1938946852A5070083527 @default.
- W1938946852 hasBestOaLocation W19389468521 @default.
- W1938946852 hasConcept C105795698 @default.
- W1938946852 hasConcept C110251889 @default.
- W1938946852 hasConcept C114289077 @default.
- W1938946852 hasConcept C127491075 @default.
- W1938946852 hasConcept C142362112 @default.
- W1938946852 hasConcept C153349607 @default.
- W1938946852 hasConcept C154945302 @default.
- W1938946852 hasConcept C197551870 @default.
- W1938946852 hasConcept C199360897 @default.
- W1938946852 hasConcept C25016198 @default.
- W1938946852 hasConcept C2777655017 @default.
- W1938946852 hasConcept C33923547 @default.
- W1938946852 hasConcept C38677869 @default.
- W1938946852 hasConcept C41008148 @default.
- W1938946852 hasConcept C558565934 @default.
- W1938946852 hasConcept C73301696 @default.
- W1938946852 hasConcept C80444323 @default.
- W1938946852 hasConceptScore W1938946852C105795698 @default.
- W1938946852 hasConceptScore W1938946852C110251889 @default.
- W1938946852 hasConceptScore W1938946852C114289077 @default.
- W1938946852 hasConceptScore W1938946852C127491075 @default.
- W1938946852 hasConceptScore W1938946852C142362112 @default.
- W1938946852 hasConceptScore W1938946852C153349607 @default.
- W1938946852 hasConceptScore W1938946852C154945302 @default.
- W1938946852 hasConceptScore W1938946852C197551870 @default.
- W1938946852 hasConceptScore W1938946852C199360897 @default.
- W1938946852 hasConceptScore W1938946852C25016198 @default.
- W1938946852 hasConceptScore W1938946852C2777655017 @default.
- W1938946852 hasConceptScore W1938946852C33923547 @default.
- W1938946852 hasConceptScore W1938946852C38677869 @default.
- W1938946852 hasConceptScore W1938946852C41008148 @default.
- W1938946852 hasConceptScore W1938946852C558565934 @default.
- W1938946852 hasConceptScore W1938946852C73301696 @default.
- W1938946852 hasConceptScore W1938946852C80444323 @default.
- W1938946852 hasLocation W19389468521 @default.
- W1938946852 hasOpenAccess W1938946852 @default.
- W1938946852 hasPrimaryLocation W19389468521 @default.
- W1938946852 hasRelatedWork W1557425998 @default.
- W1938946852 hasRelatedWork W1601690978 @default.
- W1938946852 hasRelatedWork W1686099294 @default.
- W1938946852 hasRelatedWork W1831904643 @default.
- W1938946852 hasRelatedWork W1972714055 @default.
- W1938946852 hasRelatedWork W2047193196 @default.
- W1938946852 hasRelatedWork W2063598135 @default.
- W1938946852 hasRelatedWork W2117507492 @default.
- W1938946852 hasRelatedWork W2123610695 @default.
- W1938946852 hasRelatedWork W2133237146 @default.
- W1938946852 hasRelatedWork W2135542886 @default.
- W1938946852 hasRelatedWork W2170991150 @default.
- W1938946852 hasRelatedWork W2171623430 @default.
- W1938946852 hasRelatedWork W2171732120 @default.
- W1938946852 hasRelatedWork W2265408537 @default.
- W1938946852 hasRelatedWork W2293894705 @default.
- W1938946852 hasRelatedWork W2359796614 @default.
- W1938946852 hasRelatedWork W24235440 @default.
- W1938946852 hasRelatedWork W2577272611 @default.
- W1938946852 hasRelatedWork W2752976193 @default.
- W1938946852 isParatext "false" @default.
- W1938946852 isRetracted "false" @default.
- W1938946852 magId "1938946852" @default.
- W1938946852 workType "article" @default.