Conflict Equivalence of Branching Processes
| Auteur | DELFIEU, DAVID | |
| Auteur | COMLAN, MAURICE | |
| Auteur | SOGBOHOSSOU, MEDESU | |
| Date d'ajout | 2026-06-02T16:06:57Z | |
| Date de disponibilite | 2026-06-02T16:06:57Z | |
| Date de publication | 2015 | |
| Resume | 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. | |
| Autre identifiant | BECDB-7284 | |
| URI | https://dspace.uac.bj/handle/123456789/6555 | |
| Langue | fr | |
| Fait partie de | International Journal on Advances in Systems and Measurements | |
| Sujet | Petri Nets | |
| Sujet | Unfolding | |
| Sujet | Branching process | |
| Sujet | Algebra | |
| Titre | Conflict Equivalence of Branching Processes | |
| Type | Article |