FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2161617103> ?p ?o ?g. }

• W2161617103 endingPage "16" @default.
• W2161617103 startingPage "3" @default.
• W2161617103 abstract "Abstract: Petri nets and stochastic Petri nets have been widely adopted as one of the best tools to model the logical and timing behavior of discrete-state systems. However, their practical applicability is limited by the state-space explosion problem. We survey some of the techniques that have been used to cope with large state spaces, starting from early explicit methods, which require data structures of size proportional to the number of states or state-to-state transitions, then moving to implicit methods, which borrow ideas from symbolic model checking (binary decision diagrams) and numerical linear algebra (Kronecker operators) to drastically reduce the computational requirements. Next, we describe the structural decomposition approach which has been the topic of our research in the last few years. This method only requires to specify a partition of the places in the net and, combining decision diagrams and Kronecker operators with the new concepts of event locality and node saturation, achieves fundamental gains in both memory and time efficiency. At the same, the approach is applicable to a wide range of models. We conclude by considering several research directions that could further push the range of solvable models, eventually leading to an even greater industrial acceptance of this simple yet powerful modeling formalism." @default.
• W2161617103 created "2016-06-24" @default.
• W2161617103 creator A5071970957 @default.
• W2161617103 date "2001-09-11" @default.
• W2161617103 modified "2023-09-26" @default.
• W2161617103 title "What a Structural World" @default.
• W2161617103 cites W126200748 @default.
• W2161617103 cites W1481465901 @default.
• W2161617103 cites W1483014095 @default.
• W2161617103 cites W1491214620 @default.
• W2161617103 cites W1492259997 @default.
• W2161617103 cites W1511470875 @default.
• W2161617103 cites W1514324734 @default.
• W2161617103 cites W1515795779 @default.
• W2161617103 cites W1537544083 @default.
• W2161617103 cites W1548777301 @default.
• W2161617103 cites W1557545083 @default.
• W2161617103 cites W1561267729 @default.
• W2161617103 cites W1564947547 @default.
• W2161617103 cites W1582528610 @default.
• W2161617103 cites W1603479876 @default.
• W2161617103 cites W1718783241 @default.
• W2161617103 cites W1846253165 @default.
• W2161617103 cites W1909683239 @default.
• W2161617103 cites W1969620704 @default.
• W2161617103 cites W1976057993 @default.
• W2161617103 cites W1986755980 @default.
• W2161617103 cites W2030224590 @default.
• W2161617103 cites W2063731350 @default.
• W2161617103 cites W2080267935 @default.
• W2161617103 cites W2107561541 @default.
• W2161617103 cites W2126835091 @default.
• W2161617103 cites W2161584651 @default.
• W2161617103 cites W2169174934 @default.
• W2161617103 cites W2762210817 @default.
• W2161617103 cites W3041961278 @default.
• W2161617103 cites W3152687809 @default.
• W2161617103 hasPublicationYear "2001" @default.
• W2161617103 type Work @default.
• W2161617103 sameAs 2161617103 @default.
• W2161617103 citedByCount "6" @default.
• W2161617103 crossrefType "proceedings-article" @default.
• W2161617103 hasAuthorship W2161617103A5071970957 @default.
• W2161617103 hasConcept C105795698 @default.
• W2161617103 hasConcept C110251889 @default.
• W2161617103 hasConcept C11413529 @default.
• W2161617103 hasConcept C114614502 @default.
• W2161617103 hasConcept C121332964 @default.
• W2161617103 hasConcept C138885662 @default.
• W2161617103 hasConcept C159985019 @default.
• W2161617103 hasConcept C192562407 @default.
• W2161617103 hasConcept C197551870 @default.
• W2161617103 hasConcept C204323151 @default.
• W2161617103 hasConcept C2779808786 @default.
• W2161617103 hasConcept C3309909 @default.
• W2161617103 hasConcept C33923547 @default.
• W2161617103 hasConcept C38677869 @default.
• W2161617103 hasConcept C39482219 @default.
• W2161617103 hasConcept C41008148 @default.
• W2161617103 hasConcept C41895202 @default.
• W2161617103 hasConcept C42812 @default.
• W2161617103 hasConcept C62520636 @default.
• W2161617103 hasConcept C72434380 @default.
• W2161617103 hasConcept C80444323 @default.
• W2161617103 hasConceptScore W2161617103C105795698 @default.
• W2161617103 hasConceptScore W2161617103C110251889 @default.
• W2161617103 hasConceptScore W2161617103C11413529 @default.
• W2161617103 hasConceptScore W2161617103C114614502 @default.
• W2161617103 hasConceptScore W2161617103C121332964 @default.
• W2161617103 hasConceptScore W2161617103C138885662 @default.
• W2161617103 hasConceptScore W2161617103C159985019 @default.
• W2161617103 hasConceptScore W2161617103C192562407 @default.
• W2161617103 hasConceptScore W2161617103C197551870 @default.
• W2161617103 hasConceptScore W2161617103C204323151 @default.
• W2161617103 hasConceptScore W2161617103C2779808786 @default.
• W2161617103 hasConceptScore W2161617103C3309909 @default.
• W2161617103 hasConceptScore W2161617103C33923547 @default.
• W2161617103 hasConceptScore W2161617103C38677869 @default.
• W2161617103 hasConceptScore W2161617103C39482219 @default.
• W2161617103 hasConceptScore W2161617103C41008148 @default.
• W2161617103 hasConceptScore W2161617103C41895202 @default.
• W2161617103 hasConceptScore W2161617103C42812 @default.
• W2161617103 hasConceptScore W2161617103C62520636 @default.
• W2161617103 hasConceptScore W2161617103C72434380 @default.
• W2161617103 hasConceptScore W2161617103C80444323 @default.
• W2161617103 hasLocation W21616171031 @default.
• W2161617103 hasOpenAccess W2161617103 @default.
• W2161617103 hasPrimaryLocation W21616171031 @default.
• W2161617103 hasRelatedWork W1497099843 @default.
• W2161617103 hasRelatedWork W1545632625 @default.
• W2161617103 hasRelatedWork W1603479876 @default.
• W2161617103 hasRelatedWork W1750781857 @default.
• W2161617103 hasRelatedWork W1976967219 @default.
• W2161617103 hasRelatedWork W2037726428 @default.
• W2161617103 hasRelatedWork W2097305928 @default.
• W2161617103 hasRelatedWork W2101007154 @default.
• W2161617103 hasRelatedWork W2106993935 @default.
• W2161617103 hasRelatedWork W2115777567 @default.

• next