Skip to Main content Skip to Navigation
Conference papers

Algebraic Analysis of Branching Processes

Abstract : Combinatory explosion is a limit which can be en-countered when a state space exploration is driven on large specification modeled with Petri nets. Technics like unfolding have been proposed to cope with this problem. This paper presents an axiomatic model to reduce unfoldings to canonic forms which preserves conflicts.
Document type :
Conference papers
Complete list of metadata

Cited literature [19 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01111142
Contributor : David Delfieu <>
Submitted on : Tuesday, February 3, 2015 - 10:18:08 AM
Last modification on : Thursday, February 7, 2019 - 2:37:45 PM
Long-term archiving on: : Wednesday, May 27, 2015 - 3:57:29 PM

File

VALID_14.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01111142, version 2

Collections

Citation

David Delfieu, Maurice Comlan, Médésu Sogbohossou. Algebraic Analysis of Branching Processes. VALID'14, Oct 2014, Nice, France. pp.21-27. ⟨hal-01111142v2⟩

Share

Metrics

Record views

367

Files downloads

151