Matches in SemOpenAlex for { <https://semopenalex.org/work/W2330362244> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2330362244 abstract "This publication addresses two bottlenecks in the construction of minimal coverability sets of Petri nets: the detection of situations where the marking of a place can be converted to ω, and the manipulation of the set A of maximal ω-markings that have been found so far. For the former, a technique is presented that consumes very little time in addition to what maintaining A consumes. It is based on Tarjan’s algorithm for detecting maximal strongly connected components of a directed graph. For the latter, a data structure is introduced that resembles BDDs and Covering Sharing Trees, but has additional heuristics designed for the present use. Results from initial experiments are shown. They demonstrate significant savings in running time and varying savings in memory consumption compared to an earlier state-of-the-art technique." @default.
- W2330362244 created "2016-06-24" @default.
- W2330362244 creator A5051728006 @default.
- W2330362244 creator A5062460264 @default.
- W2330362244 date "2016-03-04" @default.
- W2330362244 modified "2023-09-27" @default.
- W2330362244 title "Constructing Minimal Coverability Sets" @default.
- W2330362244 cites W125191722 @default.
- W2330362244 cites W1570743953 @default.
- W2330362244 cites W1594151678 @default.
- W2330362244 cites W1655990431 @default.
- W2330362244 cites W1965253335 @default.
- W2330362244 cites W2022795996 @default.
- W2330362244 cites W2080267935 @default.
- W2330362244 cites W2106001218 @default.
- W2330362244 cites W2118382442 @default.
- W2330362244 cites W2156825078 @default.
- W2330362244 cites W2610486274 @default.
- W2330362244 doi "https://doi.org/10.3233/fi-2016-1319" @default.
- W2330362244 hasPublicationYear "2016" @default.
- W2330362244 type Work @default.
- W2330362244 sameAs 2330362244 @default.
- W2330362244 citedByCount "4" @default.
- W2330362244 countsByYear W23303622442019 @default.
- W2330362244 countsByYear W23303622442020 @default.
- W2330362244 crossrefType "journal-article" @default.
- W2330362244 hasAuthorship W2330362244A5051728006 @default.
- W2330362244 hasAuthorship W2330362244A5062460264 @default.
- W2330362244 hasConcept C111919701 @default.
- W2330362244 hasConcept C11413529 @default.
- W2330362244 hasConcept C118615104 @default.
- W2330362244 hasConcept C127705205 @default.
- W2330362244 hasConcept C132525143 @default.
- W2330362244 hasConcept C136643341 @default.
- W2330362244 hasConcept C162319229 @default.
- W2330362244 hasConcept C177264268 @default.
- W2330362244 hasConcept C197551870 @default.
- W2330362244 hasConcept C199360897 @default.
- W2330362244 hasConcept C33923547 @default.
- W2330362244 hasConcept C38677869 @default.
- W2330362244 hasConcept C41008148 @default.
- W2330362244 hasConcept C80444323 @default.
- W2330362244 hasConceptScore W2330362244C111919701 @default.
- W2330362244 hasConceptScore W2330362244C11413529 @default.
- W2330362244 hasConceptScore W2330362244C118615104 @default.
- W2330362244 hasConceptScore W2330362244C127705205 @default.
- W2330362244 hasConceptScore W2330362244C132525143 @default.
- W2330362244 hasConceptScore W2330362244C136643341 @default.
- W2330362244 hasConceptScore W2330362244C162319229 @default.
- W2330362244 hasConceptScore W2330362244C177264268 @default.
- W2330362244 hasConceptScore W2330362244C197551870 @default.
- W2330362244 hasConceptScore W2330362244C199360897 @default.
- W2330362244 hasConceptScore W2330362244C33923547 @default.
- W2330362244 hasConceptScore W2330362244C38677869 @default.
- W2330362244 hasConceptScore W2330362244C41008148 @default.
- W2330362244 hasConceptScore W2330362244C80444323 @default.
- W2330362244 hasLocation W23303622441 @default.
- W2330362244 hasOpenAccess W2330362244 @default.
- W2330362244 hasPrimaryLocation W23303622441 @default.
- W2330362244 hasRelatedWork W1179276901 @default.
- W2330362244 hasRelatedWork W1482133132 @default.
- W2330362244 hasRelatedWork W1494055011 @default.
- W2330362244 hasRelatedWork W1528377058 @default.
- W2330362244 hasRelatedWork W1543741569 @default.
- W2330362244 hasRelatedWork W1573128517 @default.
- W2330362244 hasRelatedWork W2099747032 @default.
- W2330362244 hasRelatedWork W2131637201 @default.
- W2330362244 hasRelatedWork W2142413136 @default.
- W2330362244 hasRelatedWork W2198099859 @default.
- W2330362244 hasRelatedWork W2406510609 @default.
- W2330362244 hasRelatedWork W2548816322 @default.
- W2330362244 hasRelatedWork W2556629732 @default.
- W2330362244 hasRelatedWork W263470693 @default.
- W2330362244 hasRelatedWork W2743975529 @default.
- W2330362244 hasRelatedWork W2803173746 @default.
- W2330362244 hasRelatedWork W2811381521 @default.
- W2330362244 hasRelatedWork W2949666635 @default.
- W2330362244 hasRelatedWork W2950558307 @default.
- W2330362244 hasRelatedWork W3016887138 @default.
- W2330362244 isParatext "false" @default.
- W2330362244 isRetracted "false" @default.
- W2330362244 magId "2330362244" @default.
- W2330362244 workType "article" @default.