Conflict Equivalence of Branching Processes - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue International Journal On Advances in Systems and Measurements Année : 2015

Conflict Equivalence of Branching Processes

Résumé

For concurrent and large systems, specification step is a crucial point. Combinatory explosion is a limit that can be encountered when a state space exploration is driven on large specification modeled with Petri nets. Considering bounded Petri nets, technics like unfolding can be a way to cope with this problem. This paper is a first attempt to present an axiomatic model to produce the set of processes of unfoldings into a canonic form. This canonic form allows to define a conflict equivalence.
Fichier principal
Vignette du fichier
IJOA_SysMea_Delfieu_2015_New 3.pdf (558.59 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01111155 , version 1 (29-06-2015)

Identifiants

  • HAL Id : hal-01111155 , version 1

Citer

David Delfieu, Maurice Comlan, Medesu Sogbohossou. Conflict Equivalence of Branching Processes. International Journal On Advances in Systems and Measurements, 2015, 8 (1&2), pp.85-203. ⟨hal-01111155⟩
137 Consultations
61 Téléchargements

Partager

Gmail Facebook X LinkedIn More