Theoretical Aspects of Recursive Petri Nets - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 1999

Theoretical Aspects of Recursive Petri Nets

Serge Haddad
Denis Poitrenaud
  • Fonction : Auteur
  • PersonId : 968343

Résumé

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.

Dates et versions

hal-01574369 , version 1 (14-08-2017)

Identifiants

Citer

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⟩
71 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More