FRINK Linked Data Fragments server

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

• W1547921645 abstract "We apply to Petri net theory the technique of polynomialtime many-one reductions. We study boundedness, reachability, deadlock, liveness problems and some of their variations. We derive three main results. Firstly, we highlight the power of expression of reachability which can polynomially give evidence of unboundedness. Secondly, we prove that reachability and deadlock are polynomially-time equivalent; this improves the known recursive reduction and it complements the result of Cheng and al. [4]. Moreover, we show the polynomial equivalence of liveness and t-liveness. Hence, we regroup the problems in three main classes: boundedness, reachability and liveness. Finally, we give an upper bound on the boundedness for post self-modified nets: (2^{O(size(N)^2 *log size(N))} ). This improves a decidability result of Valk [18]." @default.
• W1547921645 created "2016-06-24" @default.
• W1547921645 creator A5009913878 @default.
• W1547921645 creator A5051788925 @default.
• W1547921645 date "1997-01-01" @default.
• W1547921645 modified "2023-09-27" @default.
• W1547921645 title "Polynomial-Time Many-One reductions for Petri nets" @default.
• W1547921645 cites W1514194201 @default.
• W1547921645 cites W1515795779 @default.
• W1547921645 cites W1551214605 @default.
• W1547921645 cites W1759934887 @default.
• W1547921645 cites W1989788631 @default.
• W1547921645 cites W1994188141 @default.
• W1547921645 cites W1996760951 @default.
• W1547921645 cites W2002089154 @default.
• W1547921645 cites W2008435081 @default.
• W1547921645 cites W2013504313 @default.
• W1547921645 cites W2055081868 @default.
• W1547921645 cites W2084570980 @default.
• W1547921645 cites W2087749569 @default.
• W1547921645 cites W2106001218 @default.
• W1547921645 cites W2164003033 @default.
• W1547921645 cites W2394903686 @default.
• W1547921645 cites W2712815726 @default.
• W1547921645 doi "https://doi.org/10.1007/bfb0058039" @default.
• W1547921645 hasPublicationYear "1997" @default.
• W1547921645 type Work @default.
• W1547921645 sameAs 1547921645 @default.
• W1547921645 citedByCount "6" @default.
• W1547921645 countsByYear W15479216452012 @default.
• W1547921645 countsByYear W15479216452017 @default.
• W1547921645 countsByYear W15479216452022 @default.
• W1547921645 crossrefType "book-chapter" @default.
• W1547921645 hasAuthorship W1547921645A5009913878 @default.
• W1547921645 hasAuthorship W1547921645A5051788925 @default.
• W1547921645 hasConcept C111335779 @default.
• W1547921645 hasConcept C113429609 @default.
• W1547921645 hasConcept C11413529 @default.
• W1547921645 hasConcept C118615104 @default.
• W1547921645 hasConcept C120314980 @default.
• W1547921645 hasConcept C134306372 @default.
• W1547921645 hasConcept C136643341 @default.
• W1547921645 hasConcept C153269930 @default.
• W1547921645 hasConcept C15569618 @default.
• W1547921645 hasConcept C159023740 @default.
• W1547921645 hasConcept C197551870 @default.
• W1547921645 hasConcept C24858836 @default.
• W1547921645 hasConcept C2524010 @default.
• W1547921645 hasConcept C2777669093 @default.
• W1547921645 hasConcept C2780069185 @default.
• W1547921645 hasConcept C311688 @default.
• W1547921645 hasConcept C33923547 @default.
• W1547921645 hasConcept C38677869 @default.
• W1547921645 hasConcept C41008148 @default.
• W1547921645 hasConcept C77553402 @default.
• W1547921645 hasConcept C80444323 @default.
• W1547921645 hasConcept C90119067 @default.
• W1547921645 hasConceptScore W1547921645C111335779 @default.
• W1547921645 hasConceptScore W1547921645C113429609 @default.
• W1547921645 hasConceptScore W1547921645C11413529 @default.
• W1547921645 hasConceptScore W1547921645C118615104 @default.
• W1547921645 hasConceptScore W1547921645C120314980 @default.
• W1547921645 hasConceptScore W1547921645C134306372 @default.
• W1547921645 hasConceptScore W1547921645C136643341 @default.
• W1547921645 hasConceptScore W1547921645C153269930 @default.
• W1547921645 hasConceptScore W1547921645C15569618 @default.
• W1547921645 hasConceptScore W1547921645C159023740 @default.
• W1547921645 hasConceptScore W1547921645C197551870 @default.
• W1547921645 hasConceptScore W1547921645C24858836 @default.
• W1547921645 hasConceptScore W1547921645C2524010 @default.
• W1547921645 hasConceptScore W1547921645C2777669093 @default.
• W1547921645 hasConceptScore W1547921645C2780069185 @default.
• W1547921645 hasConceptScore W1547921645C311688 @default.
• W1547921645 hasConceptScore W1547921645C33923547 @default.
• W1547921645 hasConceptScore W1547921645C38677869 @default.
• W1547921645 hasConceptScore W1547921645C41008148 @default.
• W1547921645 hasConceptScore W1547921645C77553402 @default.
• W1547921645 hasConceptScore W1547921645C80444323 @default.
• W1547921645 hasConceptScore W1547921645C90119067 @default.
• W1547921645 hasLocation W15479216451 @default.
• W1547921645 hasOpenAccess W1547921645 @default.
• W1547921645 hasPrimaryLocation W15479216451 @default.
• W1547921645 hasRelatedWork W1551054725 @default.
• W1547921645 hasRelatedWork W1563422794 @default.
• W1547921645 hasRelatedWork W1834333901 @default.
• W1547921645 hasRelatedWork W1977601208 @default.
• W1547921645 hasRelatedWork W1980791422 @default.
• W1547921645 hasRelatedWork W1996760951 @default.
• W1547921645 hasRelatedWork W2024711394 @default.
• W1547921645 hasRelatedWork W2060113263 @default.
• W1547921645 hasRelatedWork W2083567135 @default.
• W1547921645 hasRelatedWork W2095655474 @default.
• W1547921645 hasRelatedWork W2141183298 @default.
• W1547921645 hasRelatedWork W2153337086 @default.
• W1547921645 hasRelatedWork W2164003033 @default.
• W1547921645 hasRelatedWork W2248088805 @default.
• W1547921645 hasRelatedWork W2315923944 @default.
• W1547921645 hasRelatedWork W2341675553 @default.
• W1547921645 hasRelatedWork W2400912383 @default.
• W1547921645 hasRelatedWork W2403044140 @default.

• next