Matches in SemOpenAlex for { <https://semopenalex.org/work/W1842334768> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W1842334768 endingPage "48" @default.
- W1842334768 startingPage "29" @default.
- W1842334768 abstract "We integrate two compact data structures for representing state spaces of Petri nets: merged processes and contextual prefixes. The resulting data structure, called contextual merged processes (CMP), combines the advantages of the original ones and copes with several important sources of state space explosion: concurrency, sequences of choices, and concurrent read accesses to shared resources. In particular, we demonstrate on a number of benchmarks that CMPs are more compact than either of the original data structures. Moreover, we sketch a polynomial (in the CMP size) encoding into SAT of the model-checking problem for reachability properties." @default.
- W1842334768 created "2016-06-24" @default.
- W1842334768 creator A5008744860 @default.
- W1842334768 creator A5035102028 @default.
- W1842334768 creator A5040146683 @default.
- W1842334768 date "2013-01-01" @default.
- W1842334768 modified "2023-09-25" @default.
- W1842334768 title "Contextual Merged Processes" @default.
- W1842334768 cites W1527942721 @default.
- W1842334768 cites W1551222658 @default.
- W1842334768 cites W1574570499 @default.
- W1842334768 cites W1636538849 @default.
- W1842334768 cites W1756000016 @default.
- W1842334768 cites W1759021599 @default.
- W1842334768 cites W1842334768 @default.
- W1842334768 cites W1916795171 @default.
- W1842334768 cites W1970326465 @default.
- W1842334768 cites W1975899067 @default.
- W1842334768 cites W2027131958 @default.
- W1842334768 cites W2079457487 @default.
- W1842334768 cites W2099620341 @default.
- W1842334768 cites W2107978495 @default.
- W1842334768 cites W2124660270 @default.
- W1842334768 cites W2156883715 @default.
- W1842334768 cites W2164024827 @default.
- W1842334768 cites W4294549613 @default.
- W1842334768 cites W53550045 @default.
- W1842334768 doi "https://doi.org/10.1007/978-3-642-38697-8_3" @default.
- W1842334768 hasPublicationYear "2013" @default.
- W1842334768 type Work @default.
- W1842334768 sameAs 1842334768 @default.
- W1842334768 citedByCount "10" @default.
- W1842334768 countsByYear W18423347682013 @default.
- W1842334768 countsByYear W18423347682014 @default.
- W1842334768 countsByYear W18423347682015 @default.
- W1842334768 countsByYear W18423347682016 @default.
- W1842334768 countsByYear W18423347682017 @default.
- W1842334768 countsByYear W18423347682020 @default.
- W1842334768 crossrefType "book-chapter" @default.
- W1842334768 hasAuthorship W1842334768A5008744860 @default.
- W1842334768 hasAuthorship W1842334768A5035102028 @default.
- W1842334768 hasAuthorship W1842334768A5040146683 @default.
- W1842334768 hasConcept C23123220 @default.
- W1842334768 hasConcept C41008148 @default.
- W1842334768 hasConceptScore W1842334768C23123220 @default.
- W1842334768 hasConceptScore W1842334768C41008148 @default.
- W1842334768 hasLocation W18423347681 @default.
- W1842334768 hasLocation W18423347682 @default.
- W1842334768 hasLocation W18423347683 @default.
- W1842334768 hasOpenAccess W1842334768 @default.
- W1842334768 hasPrimaryLocation W18423347681 @default.
- W1842334768 hasRelatedWork W1536405386 @default.
- W1842334768 hasRelatedWork W1597238586 @default.
- W1842334768 hasRelatedWork W2086064646 @default.
- W1842334768 hasRelatedWork W2115485936 @default.
- W1842334768 hasRelatedWork W2119135658 @default.
- W1842334768 hasRelatedWork W2153015554 @default.
- W1842334768 hasRelatedWork W2326857978 @default.
- W1842334768 hasRelatedWork W2349174110 @default.
- W1842334768 hasRelatedWork W2357241418 @default.
- W1842334768 hasRelatedWork W3022131925 @default.
- W1842334768 isParatext "false" @default.
- W1842334768 isRetracted "false" @default.
- W1842334768 magId "1842334768" @default.
- W1842334768 workType "book-chapter" @default.