Matches in SemOpenAlex for { <https://semopenalex.org/work/W5511491> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W5511491 endingPage "97" @default.
- W5511491 startingPage "92" @default.
- W5511491 abstract "The complete exploration of large system states modeled with Petri net (PN) systems demonstrates state space explosion, limiting reachability analysis. The calculation of the number of states (samples) necessary to conduct a statistical hypothesis test for reachability problems of PN systems is discussed in this paper. The calculation is based on the estimation of the size of the state space. This paper presents two estimators of the size of the state-space for bounded PN systems. The estimators are improved extensions of existing ones and are based on the simple elimination of unreachable markings. The estimations will be used in the calculation of the number of necessary samples to collect in the partial exploration of the state space. The improved estimation obtained in one example presents larger benefits than with the former estimator." @default.
- W5511491 created "2016-06-24" @default.
- W5511491 creator A5050244103 @default.
- W5511491 date "2011-04-28" @default.
- W5511491 modified "2023-09-27" @default.
- W5511491 title "Improved estimation of the size of the state space of petri nets for the analysis of reachability problems" @default.
- W5511491 cites W1568573127 @default.
- W5511491 cites W1598969122 @default.
- W5511491 cites W1604981278 @default.
- W5511491 cites W1994188141 @default.
- W5511491 cites W1996109622 @default.
- W5511491 cites W2067061138 @default.
- W5511491 cites W2171747586 @default.
- W5511491 cites W2322274517 @default.
- W5511491 cites W2625383513 @default.
- W5511491 cites W3199359596 @default.
- W5511491 cites W604233734 @default.
- W5511491 hasPublicationYear "2011" @default.
- W5511491 type Work @default.
- W5511491 sameAs 5511491 @default.
- W5511491 citedByCount "0" @default.
- W5511491 crossrefType "journal-article" @default.
- W5511491 hasAuthorship W5511491A5050244103 @default.
- W5511491 hasConcept C105795698 @default.
- W5511491 hasConcept C111472728 @default.
- W5511491 hasConcept C111919701 @default.
- W5511491 hasConcept C11413529 @default.
- W5511491 hasConcept C126255220 @default.
- W5511491 hasConcept C134306372 @default.
- W5511491 hasConcept C136643341 @default.
- W5511491 hasConcept C138885662 @default.
- W5511491 hasConcept C185429906 @default.
- W5511491 hasConcept C197551870 @default.
- W5511491 hasConcept C2778572836 @default.
- W5511491 hasConcept C2780586882 @default.
- W5511491 hasConcept C28826006 @default.
- W5511491 hasConcept C33923547 @default.
- W5511491 hasConcept C34388435 @default.
- W5511491 hasConcept C38677869 @default.
- W5511491 hasConcept C41008148 @default.
- W5511491 hasConcept C48103436 @default.
- W5511491 hasConcept C72434380 @default.
- W5511491 hasConceptScore W5511491C105795698 @default.
- W5511491 hasConceptScore W5511491C111472728 @default.
- W5511491 hasConceptScore W5511491C111919701 @default.
- W5511491 hasConceptScore W5511491C11413529 @default.
- W5511491 hasConceptScore W5511491C126255220 @default.
- W5511491 hasConceptScore W5511491C134306372 @default.
- W5511491 hasConceptScore W5511491C136643341 @default.
- W5511491 hasConceptScore W5511491C138885662 @default.
- W5511491 hasConceptScore W5511491C185429906 @default.
- W5511491 hasConceptScore W5511491C197551870 @default.
- W5511491 hasConceptScore W5511491C2778572836 @default.
- W5511491 hasConceptScore W5511491C2780586882 @default.
- W5511491 hasConceptScore W5511491C28826006 @default.
- W5511491 hasConceptScore W5511491C33923547 @default.
- W5511491 hasConceptScore W5511491C34388435 @default.
- W5511491 hasConceptScore W5511491C38677869 @default.
- W5511491 hasConceptScore W5511491C41008148 @default.
- W5511491 hasConceptScore W5511491C48103436 @default.
- W5511491 hasConceptScore W5511491C72434380 @default.
- W5511491 hasLocation W55114911 @default.
- W5511491 hasOpenAccess W5511491 @default.
- W5511491 hasPrimaryLocation W55114911 @default.
- W5511491 hasRelatedWork W100449171 @default.
- W5511491 hasRelatedWork W1591563876 @default.
- W5511491 hasRelatedWork W1763056458 @default.
- W5511491 hasRelatedWork W1804409858 @default.
- W5511491 hasRelatedWork W192952563 @default.
- W5511491 hasRelatedWork W1976967219 @default.
- W5511491 hasRelatedWork W2025389469 @default.
- W5511491 hasRelatedWork W2068951165 @default.
- W5511491 hasRelatedWork W2079376791 @default.
- W5511491 hasRelatedWork W2098714293 @default.
- W5511491 hasRelatedWork W2122240941 @default.
- W5511491 hasRelatedWork W2484781921 @default.
- W5511491 hasRelatedWork W2952920810 @default.
- W5511491 hasRelatedWork W2973642607 @default.
- W5511491 hasRelatedWork W3012143895 @default.
- W5511491 hasRelatedWork W3107034996 @default.
- W5511491 hasRelatedWork W3132509889 @default.
- W5511491 hasRelatedWork W3176180643 @default.
- W5511491 hasRelatedWork W98799081 @default.
- W5511491 hasRelatedWork W2159152215 @default.
- W5511491 isParatext "false" @default.
- W5511491 isRetracted "false" @default.
- W5511491 magId "5511491" @default.
- W5511491 workType "article" @default.