Dynamic Recursive Petri Nets
- 30 June 2020
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
- Vol. 12152, 345-366
- https://doi.org/10.1007/978-3-030-51831-8_17
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.Keywords
This publication has 10 references indexed in Scilit:
- Coverability and Termination in Recursive Petri NetsPublished by Springer Science and Business Media LLC ,2019
- The Logical View on Continuous Petri NetsACM Transactions on Computational Logic, 2017
- On Functions Weakly Computable by Petri Nets and Vector Addition SystemsLecture Notes in Computer Science, 2014
- Recursive Petri netsActa Informatica, 2007
- Well-structured transition systems everywhere!Theoretical Computer Science, 2001
- Modelling and Analyzing Systems with Recursive Petri NetsPublished by Springer Science and Business Media LLC ,2000
- Process Rewrite SystemsInformation and Computation, 2000
- Theoretical Aspects of Recursive Petri NetsLecture Notes in Computer Science, 1999
- Reset nets between decidability and undecidabilityLecture Notes in Computer Science, 1998
- Self-modifying nets, a natural extension of Petri netsLecture Notes in Computer Science, 1978