Branching processes of general Petri nets

Abstract : We propose a new model of branching processes, suitable for describing the behavior of general Petri nets, without any finiteness or safeness assumption. In this framework, we define a new class of branching processes and unfoldings of a net N, which we call true. These coincide with the safe branching processes and unfoldings if N is safe, or weakly safe as in [Engelfriet 1991], but not in general. However, true branching processes and processes satisfy the good order-theoretic properties which make the safe processes of safe nets so useful in practice, and which are known not to hold for the safe processes of a general net. True processes represent therefore good candidates to generalize the theory of safe nets to the general case.
Type de document :
Article dans une revue
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2013, 122 (1-2), pp.31-58. 〈10.3233/FI-2013-782〉
Liste complète des métadonnées

Littérature citée [14 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00688138
Contributeur : Pascal Weil <>
Soumis le : mardi 3 juillet 2012 - 06:34:48
Dernière modification le : jeudi 17 janvier 2019 - 15:06:04
Document(s) archivé(s) le : jeudi 15 décembre 2016 - 19:50:18

Fichier

depliage.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Jean-Michel Couvreur, Denis Poitrenaud, Pascal Weil. Branching processes of general Petri nets. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2013, 122 (1-2), pp.31-58. 〈10.3233/FI-2013-782〉. 〈hal-00688138v2〉

Partager

Métriques

Consultations de la notice

430

Téléchargements de fichiers

382