Algebraic Analysis of Branching Processes

Simple item page
AuteurDELFIEU, DAVID
AuteurCOMLAN, MAURICE
AuteurSOGBOHOSSOU, MEDESU
Date d'ajout2026-06-02T16:06:57Z
Date de disponibilite2026-06-02T16:06:57Z
Date de publication2014
ResumeCombinatory 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.
Autre identifiantBECDB-7331
URIhttps://dspace.uac.bj/handle/123456789/6600
Languefr
Fait partie deVALID
SujetPetri Nets
SujetUnfolding
SujetBranching process
SujetAlgebra
TitreAlgebraic Analysis of Branching Processes
TypeArticle

Files

Collections

Articles