Algebraic Analysis of Branching Processes

Simple item page
dc.contributor.authorDELFIEU, DAVID
dc.contributor.authorComlan, Maurice
dc.contributor.authorSOGBOHOSSOU, MEDESU
dc.date.accessioned2026-06-02T16:06:57Z
dc.date.available2026-06-02T16:06:57Z
dc.date.issued2014
dc.description.abstractCombinatory 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.
dc.identifier.otherBECDB-7331
dc.identifier.urihttps://dspace.uac.bj/handle/123456789/6600
dc.language.isofr
dc.relation.ispartofVALID
dc.subjectPetri Nets
dc.subjectUnfolding
dc.subjectBranching process
dc.subjectAlgebra
dc.titleAlgebraic Analysis of Branching Processes
dc.typeArticle

Files

Collections

Articles