Matches in SemOpenAlex for { <https://semopenalex.org/work/W3012172783> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W3012172783 endingPage "366" @default.
- W3012172783 startingPage "345" @default.
- W3012172783 abstract "In the early two-thousands, Recursive Petri nets (RPN) have been introduced in order to model distributed planning of multi-agent systems for which counters and recursivity were necessary. While having a great expressive power, RPN suffer two limitations: (1) they do not include more general features for transitions like reset arcs, transfer arcs, etc. (2) the initial marking associated with the recursive “call” only depends on the calling transition and not on the current marking of the caller. Here we introduce Dynamic Recursive Petri nets (DRPN) which address these issues. We show that the standard extensions of Petri nets for which decidability of the coverability problem is preserved are particular cases of DPRN. Then we establish that w.r.t. coverability languages, DRPN are strictly more expressive than RPN. Finally we prove that the coverability problem is still decidable for DRPN." @default.
- W3012172783 created "2020-03-23" @default.
- W3012172783 creator A5006881035 @default.
- W3012172783 creator A5080485972 @default.
- W3012172783 date "2020-01-01" @default.
- W3012172783 modified "2023-10-15" @default.
- W3012172783 title "Dynamic Recursive Petri Nets" @default.
- W3012172783 cites W1513999490 @default.
- W3012172783 cites W166893320 @default.
- W3012172783 cites W1759934887 @default.
- W3012172783 cites W1778149536 @default.
- W3012172783 cites W1886079802 @default.
- W3012172783 cites W1967174286 @default.
- W3012172783 cites W2006265470 @default.
- W3012172783 cites W2176760539 @default.
- W3012172783 cites W2745248131 @default.
- W3012172783 cites W2950465720 @default.
- W3012172783 doi "https://doi.org/10.1007/978-3-030-51831-8_17" @default.
- W3012172783 hasPublicationYear "2020" @default.
- W3012172783 type Work @default.
- W3012172783 sameAs 3012172783 @default.
- W3012172783 citedByCount "2" @default.
- W3012172783 countsByYear W30121727832021 @default.
- W3012172783 countsByYear W30121727832022 @default.
- W3012172783 crossrefType "book-chapter" @default.
- W3012172783 hasAuthorship W3012172783A5006881035 @default.
- W3012172783 hasAuthorship W3012172783A5080485972 @default.
- W3012172783 hasBestOaLocation W30121727831 @default.
- W3012172783 hasConcept C106159729 @default.
- W3012172783 hasConcept C136155141 @default.
- W3012172783 hasConcept C153269930 @default.
- W3012172783 hasConcept C162324750 @default.
- W3012172783 hasConcept C197551870 @default.
- W3012172783 hasConcept C199360897 @default.
- W3012172783 hasConcept C2779795794 @default.
- W3012172783 hasConcept C38677869 @default.
- W3012172783 hasConcept C41008148 @default.
- W3012172783 hasConcept C80444323 @default.
- W3012172783 hasConceptScore W3012172783C106159729 @default.
- W3012172783 hasConceptScore W3012172783C136155141 @default.
- W3012172783 hasConceptScore W3012172783C153269930 @default.
- W3012172783 hasConceptScore W3012172783C162324750 @default.
- W3012172783 hasConceptScore W3012172783C197551870 @default.
- W3012172783 hasConceptScore W3012172783C199360897 @default.
- W3012172783 hasConceptScore W3012172783C2779795794 @default.
- W3012172783 hasConceptScore W3012172783C38677869 @default.
- W3012172783 hasConceptScore W3012172783C41008148 @default.
- W3012172783 hasConceptScore W3012172783C80444323 @default.
- W3012172783 hasLocation W30121727831 @default.
- W3012172783 hasLocation W30121727832 @default.
- W3012172783 hasLocation W30121727833 @default.
- W3012172783 hasLocation W30121727834 @default.
- W3012172783 hasOpenAccess W3012172783 @default.
- W3012172783 hasPrimaryLocation W30121727831 @default.
- W3012172783 hasRelatedWork W1543378523 @default.
- W3012172783 hasRelatedWork W1557425998 @default.
- W3012172783 hasRelatedWork W1847176793 @default.
- W3012172783 hasRelatedWork W2016850136 @default.
- W3012172783 hasRelatedWork W2064254377 @default.
- W3012172783 hasRelatedWork W2148229336 @default.
- W3012172783 hasRelatedWork W2159539963 @default.
- W3012172783 hasRelatedWork W2257573499 @default.
- W3012172783 hasRelatedWork W2381491984 @default.
- W3012172783 hasRelatedWork W2901841247 @default.
- W3012172783 isParatext "false" @default.
- W3012172783 isRetracted "false" @default.
- W3012172783 magId "3012172783" @default.
- W3012172783 workType "book-chapter" @default.