Algebraic Analysis of Branching Processes

David Delfieu (1) , Maurice Comlan (1, 2) , Médésu Sogbohossou (2)

1 IRCCyN - Institut de Recherche en Communications et en Cybernétique de Nantes
2 LETIA - Laboratoire d'Electrotechnique, de Télécommunications et d'Informatique Appliquée

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.

Mots clés: Branching process; Algebra; Unfolding; –Petri Nets

Domaines: Théorie et langage formel [cs.FL]

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