HAL : hal-00688138, version 1

Fiche détaillée

Récupérer au format BibTeX - EndNote - TEI - RefWorks -

Fundamenta Informaticae (2012) to appear

Versions disponibles :

v1 (17-04-2012)

v2 (03-07-2012)

Branching processes of general Petri nets

Jean-Michel Couvreur 1, Denis Poitrenaud 2, Pascal Weil 3

(2012)

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.

1 :	Laboratoire d'Informatique Fondamentale d'Orléans (LIFO)
	Université d'Orléans : EA4022 – Ecole Nationale Supérieure d'Ingénieurs de Bourges
2 :	Laboratoire d'Informatique de Paris 6 (LIP6)
	CNRS : UMR7606 – Université Pierre et Marie Curie [UPMC] - Paris VI
3 :	Laboratoire Bordelais de Recherche en Informatique (LaBRI)
	CNRS : UMR5800 – Université Sciences et Technologies - Bordeaux I – École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB) – Université Victor Segalen - Bordeaux II

Domaine

:

Informatique/Calcul parallèle, distribué et partagé

Mots Clés : General Petri nets – unfoldings – branching processes

hal-00688138, version 1

http://hal.archives-ouvertes.fr/hal-00688138

oai:hal.archives-ouvertes.fr:hal-00688138

Contributeur : Pascal Weil <>

Soumis le : Lundi 16 Avril 2012, 18:02:10

Dernière modification le : Mardi 3 Juillet 2012, 06:33:00