Theoretical Aspects of Recursive Petri Nets

Serge Haddad Denis Poitrenaud 1
1 SRC - Systèmes répartis et coopératifs
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : The model of recursive Petri nets (RPNs) has been introduced in the field of multi-agent systems in order to model flexible plans for agents. In this paper we focus on some theoretical aspects of RPNs. More precisely, we show that this model is a strict extension of the model of Petri nets in the following sense: the family of languages of RPNs strictly includes the union of Petri net and Context Free languages. Then we prove the main result of this work, the decidability of the reachability problem for RPNs.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01574369
Contributor : Lip6 Publications <>
Submitted on : Monday, August 14, 2017 - 11:40:05 AM
Last modification on : Thursday, March 21, 2019 - 1:01:02 PM

Links full text

Identifiers

Citation

Serge Haddad, Denis Poitrenaud. Theoretical Aspects of Recursive Petri Nets. 20th International Conference on Application and Theory of Petri Nets, Jun 1999, Williamsburg, Virginia, United States. pp.228-247, ⟨10.1007/3-540-48745-X_14⟩. ⟨hal-01574369⟩

Share

Metrics

Record views

54