Matches in SemOpenAlex for { <https://semopenalex.org/work/W3099687812> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W3099687812 abstract "We investigate the problem asking whether the intersection of a context-free language (CFL) and a Petri net language (PNL) is empty. Our contribution to solve this long-standing problem which relates, for instance, to the reachability analysis of recursive programs over unbounded data domain, is to identify a class of CFLs called the finite-index CFLs for which the problem is decidable. The k-index approximation of a CFL can be obtained by discarding all the words that cannot be derived within a budget k on the number of occurrences of non-terminals. A finite-index CFL is thus a CFL which coincides with its k-index approximation for some k. We decide whether the intersection of a finite-index CFL and a PNL is empty by reducing it to the reachability problem of Petri nets with weak inhibitor arcs, a class of systems with infinitely many states for which reachability is known to be decidable. Conversely, we show that the reachability problem for a Petri net with weak inhibitor arcs reduces to the emptiness problem of a finite-index CFL intersected with a PNL." @default.
- W3099687812 created "2020-11-23" @default.
- W3099687812 creator A5030085363 @default.
- W3099687812 creator A5047278328 @default.
- W3099687812 date "2011-05-09" @default.
- W3099687812 modified "2023-09-27" @default.
- W3099687812 title "Approximating Petri Net Reachability Along Context-free Traces" @default.
- W3099687812 cites W136425998 @default.
- W3099687812 cites W1497571013 @default.
- W3099687812 cites W1514194201 @default.
- W3099687812 cites W1972489978 @default.
- W3099687812 cites W2102924625 @default.
- W3099687812 cites W2139929430 @default.
- W3099687812 cites W2184914104 @default.
- W3099687812 cites W2912538643 @default.
- W3099687812 cites W2485149744 @default.
- W3099687812 hasPublicationYear "2011" @default.
- W3099687812 type Work @default.
- W3099687812 sameAs 3099687812 @default.
- W3099687812 citedByCount "0" @default.
- W3099687812 crossrefType "posted-content" @default.
- W3099687812 hasAuthorship W3099687812A5030085363 @default.
- W3099687812 hasAuthorship W3099687812A5047278328 @default.
- W3099687812 hasConcept C11413529 @default.
- W3099687812 hasConcept C118615104 @default.
- W3099687812 hasConcept C127413603 @default.
- W3099687812 hasConcept C136643341 @default.
- W3099687812 hasConcept C146978453 @default.
- W3099687812 hasConcept C151730666 @default.
- W3099687812 hasConcept C153269930 @default.
- W3099687812 hasConcept C154945302 @default.
- W3099687812 hasConcept C2777212361 @default.
- W3099687812 hasConcept C2777669093 @default.
- W3099687812 hasConcept C2779343474 @default.
- W3099687812 hasConcept C33923547 @default.
- W3099687812 hasConcept C38677869 @default.
- W3099687812 hasConcept C41008148 @default.
- W3099687812 hasConcept C64543145 @default.
- W3099687812 hasConcept C80444323 @default.
- W3099687812 hasConcept C86803240 @default.
- W3099687812 hasConceptScore W3099687812C11413529 @default.
- W3099687812 hasConceptScore W3099687812C118615104 @default.
- W3099687812 hasConceptScore W3099687812C127413603 @default.
- W3099687812 hasConceptScore W3099687812C136643341 @default.
- W3099687812 hasConceptScore W3099687812C146978453 @default.
- W3099687812 hasConceptScore W3099687812C151730666 @default.
- W3099687812 hasConceptScore W3099687812C153269930 @default.
- W3099687812 hasConceptScore W3099687812C154945302 @default.
- W3099687812 hasConceptScore W3099687812C2777212361 @default.
- W3099687812 hasConceptScore W3099687812C2777669093 @default.
- W3099687812 hasConceptScore W3099687812C2779343474 @default.
- W3099687812 hasConceptScore W3099687812C33923547 @default.
- W3099687812 hasConceptScore W3099687812C38677869 @default.
- W3099687812 hasConceptScore W3099687812C41008148 @default.
- W3099687812 hasConceptScore W3099687812C64543145 @default.
- W3099687812 hasConceptScore W3099687812C80444323 @default.
- W3099687812 hasConceptScore W3099687812C86803240 @default.
- W3099687812 hasLocation W30996878121 @default.
- W3099687812 hasOpenAccess W3099687812 @default.
- W3099687812 hasPrimaryLocation W30996878121 @default.
- W3099687812 hasRelatedWork W1566739370 @default.
- W3099687812 hasRelatedWork W1608728926 @default.
- W3099687812 hasRelatedWork W1938261175 @default.
- W3099687812 hasRelatedWork W1965726041 @default.
- W3099687812 hasRelatedWork W2060144422 @default.
- W3099687812 hasRelatedWork W2090401819 @default.
- W3099687812 hasRelatedWork W2113391671 @default.
- W3099687812 hasRelatedWork W2157965419 @default.
- W3099687812 hasRelatedWork W2188682159 @default.
- W3099687812 hasRelatedWork W2245922010 @default.
- W3099687812 hasRelatedWork W2506850889 @default.
- W3099687812 hasRelatedWork W2802885047 @default.
- W3099687812 hasRelatedWork W2912654482 @default.
- W3099687812 hasRelatedWork W2963883639 @default.
- W3099687812 hasRelatedWork W2998965762 @default.
- W3099687812 hasRelatedWork W3034977704 @default.
- W3099687812 hasRelatedWork W3118222663 @default.
- W3099687812 hasRelatedWork W3130635127 @default.
- W3099687812 hasRelatedWork W3150693775 @default.
- W3099687812 hasRelatedWork W979223301 @default.
- W3099687812 isParatext "false" @default.
- W3099687812 isRetracted "false" @default.
- W3099687812 magId "3099687812" @default.
- W3099687812 workType "article" @default.