Matches in SemOpenAlex for { <https://semopenalex.org/work/W3100920965> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W3100920965 endingPage "37" @default.
- W3100920965 startingPage "20" @default.
- W3100920965 abstract "Boolean Petri nets are differentiated by types of nets $tau$ based on which of the interactions nop, inp, out, set, res, swap, used, and free they apply or spare. The synthesis problem relative to a specific type of nets $tau$ is to find a boolean $tau$-net $N$ whose reachability graph is isomorphic to a given transition system $A$. The corresponding decision version of this search problem is called feasibility. Feasibility is known to be polynomial for all types of flip flop derivates that contain at least the interactions nop, swap and an arbitrary selection of inp, out, used, free. In this paper, we replace inp and out by res and set, respectively, and show that feasibility becomes NP-complete for the types that contain nop, swap and a non empty selection of res, set and a non empty selection of used, free. The reduction guarantees a low degree for A's states and, thus, preserves hardness of feasibility even for considerable input restrictions." @default.
- W3100920965 created "2020-11-23" @default.
- W3100920965 creator A5047035944 @default.
- W3100920965 date "2019-09-12" @default.
- W3100920965 modified "2023-10-16" @default.
- W3100920965 title "Tracking Down the Bad Guys: Reset and Set Make Feasibility for Flip-Flop Net Derivatives NP-complete" @default.
- W3100920965 cites W1500168942 @default.
- W3100920965 cites W1516590303 @default.
- W3100920965 cites W1555150153 @default.
- W3100920965 cites W1983695368 @default.
- W3100920965 cites W2000539698 @default.
- W3100920965 cites W2007385106 @default.
- W3100920965 cites W2083948648 @default.
- W3100920965 cites W2801657308 @default.
- W3100920965 cites W2889224656 @default.
- W3100920965 cites W2913376619 @default.
- W3100920965 cites W2945644491 @default.
- W3100920965 cites W4205176208 @default.
- W3100920965 doi "https://doi.org/10.4204/eptcs.304.2" @default.
- W3100920965 hasPublicationYear "2019" @default.
- W3100920965 type Work @default.
- W3100920965 sameAs 3100920965 @default.
- W3100920965 citedByCount "1" @default.
- W3100920965 countsByYear W31009209652021 @default.
- W3100920965 crossrefType "journal-article" @default.
- W3100920965 hasAuthorship W3100920965A5047035944 @default.
- W3100920965 hasBestOaLocation W31009209651 @default.
- W3100920965 hasConcept C10138342 @default.
- W3100920965 hasConcept C11413529 @default.
- W3100920965 hasConcept C114614502 @default.
- W3100920965 hasConcept C118615104 @default.
- W3100920965 hasConcept C132525143 @default.
- W3100920965 hasConcept C136643341 @default.
- W3100920965 hasConcept C154945302 @default.
- W3100920965 hasConcept C162307627 @default.
- W3100920965 hasConcept C162324750 @default.
- W3100920965 hasConcept C182420344 @default.
- W3100920965 hasConcept C197551870 @default.
- W3100920965 hasConcept C199360897 @default.
- W3100920965 hasConcept C2781007278 @default.
- W3100920965 hasConcept C33923547 @default.
- W3100920965 hasConcept C38677869 @default.
- W3100920965 hasConcept C41008148 @default.
- W3100920965 hasConcept C80444323 @default.
- W3100920965 hasConcept C99821215 @default.
- W3100920965 hasConceptScore W3100920965C10138342 @default.
- W3100920965 hasConceptScore W3100920965C11413529 @default.
- W3100920965 hasConceptScore W3100920965C114614502 @default.
- W3100920965 hasConceptScore W3100920965C118615104 @default.
- W3100920965 hasConceptScore W3100920965C132525143 @default.
- W3100920965 hasConceptScore W3100920965C136643341 @default.
- W3100920965 hasConceptScore W3100920965C154945302 @default.
- W3100920965 hasConceptScore W3100920965C162307627 @default.
- W3100920965 hasConceptScore W3100920965C162324750 @default.
- W3100920965 hasConceptScore W3100920965C182420344 @default.
- W3100920965 hasConceptScore W3100920965C197551870 @default.
- W3100920965 hasConceptScore W3100920965C199360897 @default.
- W3100920965 hasConceptScore W3100920965C2781007278 @default.
- W3100920965 hasConceptScore W3100920965C33923547 @default.
- W3100920965 hasConceptScore W3100920965C38677869 @default.
- W3100920965 hasConceptScore W3100920965C41008148 @default.
- W3100920965 hasConceptScore W3100920965C80444323 @default.
- W3100920965 hasConceptScore W3100920965C99821215 @default.
- W3100920965 hasLocation W31009209651 @default.
- W3100920965 hasLocation W31009209652 @default.
- W3100920965 hasLocation W31009209653 @default.
- W3100920965 hasOpenAccess W3100920965 @default.
- W3100920965 hasPrimaryLocation W31009209651 @default.
- W3100920965 hasRelatedWork W109625954 @default.
- W3100920965 hasRelatedWork W1522386340 @default.
- W3100920965 hasRelatedWork W1763056458 @default.
- W3100920965 hasRelatedWork W2060336960 @default.
- W3100920965 hasRelatedWork W2095048141 @default.
- W3100920965 hasRelatedWork W2104417180 @default.
- W3100920965 hasRelatedWork W2136709541 @default.
- W3100920965 hasRelatedWork W2154785561 @default.
- W3100920965 hasRelatedWork W2171468557 @default.
- W3100920965 hasRelatedWork W3100920965 @default.
- W3100920965 hasVolume "304" @default.
- W3100920965 isParatext "false" @default.
- W3100920965 isRetracted "false" @default.
- W3100920965 magId "3100920965" @default.
- W3100920965 workType "article" @default.