Skip to Main content Skip to Navigation
Journal articles

Conflict Equivalence of Branching Processes

Abstract : 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.
Document type :
Journal articles
Complete list of metadata

Cited literature [22 references]  Display  Hide  Download
Contributor : David Delfieu <>
Submitted on : Monday, June 29, 2015 - 11:43:58 AM
Last modification on : Monday, January 27, 2020 - 1:50:46 PM
Long-term archiving on: : Tuesday, April 25, 2017 - 7:31:21 PM


IJOA_SysMea_Delfieu_2015_New 3...
Files produced by the author(s)


  • HAL Id : hal-01111155, version 1



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



Record views


Files downloads