Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950465720> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2950465720 abstract "In the early two-thousands, Recursive Petri nets have been introduced in order to model distributed planning of multi-agent systems for which counters and recursivity were necessary. Although Recursive Petri nets strictly extend Petri nets and stack automata, most of the usual property problems are solvable but using non primitive recursive algorithms, even for coverability and termination. For almost all other extended Petri nets models containing a stack the complexity of coverability and termination are unknown or strictly larger than EXPSPACE. In contrast, we establish here that for Recursive Petri nets, the coverability and termination problems are EXPSPACE-complete as for Petri nets. From an expressiveness point of view, we show that coverability languages of Recursive Petri nets strictly include the union of coverability languages of Petri nets and context-free languages. Thus we get for free a more powerful model than Petri net." @default.
- W2950465720 created "2019-06-27" @default.
- W2950465720 creator A5006881035 @default.
- W2950465720 creator A5051788925 @default.
- W2950465720 creator A5080485972 @default.
- W2950465720 date "2019-01-01" @default.
- W2950465720 modified "2023-10-06" @default.
- W2950465720 title "Coverability and Termination in Recursive Petri Nets" @default.
- W2950465720 cites W1508360721 @default.
- W2950465720 cites W1778149536 @default.
- W2950465720 cites W1886079802 @default.
- W2950465720 cites W1967174286 @default.
- W2950465720 cites W2010265885 @default.
- W2950465720 cites W2055081868 @default.
- W2950465720 cites W2066170410 @default.
- W2950465720 cites W2090401819 @default.
- W2950465720 cites W2164003033 @default.
- W2950465720 cites W2176760539 @default.
- W2950465720 cites W2221764640 @default.
- W2950465720 cites W2286125845 @default.
- W2950465720 cites W2403397537 @default.
- W2950465720 cites W2950465720 @default.
- W2950465720 cites W2963620995 @default.
- W2950465720 cites W62188582 @default.
- W2950465720 doi "https://doi.org/10.1007/978-3-030-21571-2_23" @default.
- W2950465720 hasPublicationYear "2019" @default.
- W2950465720 type Work @default.
- W2950465720 sameAs 2950465720 @default.
- W2950465720 citedByCount "2" @default.
- W2950465720 countsByYear W29504657202019 @default.
- W2950465720 countsByYear W29504657202020 @default.
- W2950465720 crossrefType "book-chapter" @default.
- W2950465720 hasAuthorship W2950465720A5006881035 @default.
- W2950465720 hasAuthorship W2950465720A5051788925 @default.
- W2950465720 hasAuthorship W2950465720A5080485972 @default.
- W2950465720 hasBestOaLocation W29504657202 @default.
- W2950465720 hasConcept C111472728 @default.
- W2950465720 hasConcept C112505250 @default.
- W2950465720 hasConcept C136155141 @default.
- W2950465720 hasConcept C138885662 @default.
- W2950465720 hasConcept C151730666 @default.
- W2950465720 hasConcept C189950617 @default.
- W2950465720 hasConcept C197551870 @default.
- W2950465720 hasConcept C199360897 @default.
- W2950465720 hasConcept C2779343474 @default.
- W2950465720 hasConcept C38677869 @default.
- W2950465720 hasConcept C41008148 @default.
- W2950465720 hasConcept C80444323 @default.
- W2950465720 hasConcept C86803240 @default.
- W2950465720 hasConceptScore W2950465720C111472728 @default.
- W2950465720 hasConceptScore W2950465720C112505250 @default.
- W2950465720 hasConceptScore W2950465720C136155141 @default.
- W2950465720 hasConceptScore W2950465720C138885662 @default.
- W2950465720 hasConceptScore W2950465720C151730666 @default.
- W2950465720 hasConceptScore W2950465720C189950617 @default.
- W2950465720 hasConceptScore W2950465720C197551870 @default.
- W2950465720 hasConceptScore W2950465720C199360897 @default.
- W2950465720 hasConceptScore W2950465720C2779343474 @default.
- W2950465720 hasConceptScore W2950465720C38677869 @default.
- W2950465720 hasConceptScore W2950465720C41008148 @default.
- W2950465720 hasConceptScore W2950465720C80444323 @default.
- W2950465720 hasConceptScore W2950465720C86803240 @default.
- W2950465720 hasLocation W29504657201 @default.
- W2950465720 hasLocation W29504657202 @default.
- W2950465720 hasLocation W29504657203 @default.
- W2950465720 hasOpenAccess W2950465720 @default.
- W2950465720 hasPrimaryLocation W29504657201 @default.
- W2950465720 hasRelatedWork W1591529081 @default.
- W2950465720 hasRelatedWork W1593085476 @default.
- W2950465720 hasRelatedWork W1985536269 @default.
- W2950465720 hasRelatedWork W2005825472 @default.
- W2950465720 hasRelatedWork W2053982295 @default.
- W2950465720 hasRelatedWork W2056423370 @default.
- W2950465720 hasRelatedWork W2084570980 @default.
- W2950465720 hasRelatedWork W2125025425 @default.
- W2950465720 hasRelatedWork W2141017018 @default.
- W2950465720 hasRelatedWork W2156825078 @default.
- W2950465720 hasRelatedWork W2167776377 @default.
- W2950465720 hasRelatedWork W2167870067 @default.
- W2950465720 hasRelatedWork W2187683780 @default.
- W2950465720 hasRelatedWork W2286125845 @default.
- W2950465720 hasRelatedWork W2362338208 @default.
- W2950465720 hasRelatedWork W2745248131 @default.
- W2950465720 hasRelatedWork W2972139378 @default.
- W2950465720 hasRelatedWork W2996889688 @default.
- W2950465720 hasRelatedWork W3012172783 @default.
- W2950465720 hasRelatedWork W3199900444 @default.
- W2950465720 isParatext "false" @default.
- W2950465720 isRetracted "false" @default.
- W2950465720 magId "2950465720" @default.
- W2950465720 workType "book-chapter" @default.