Liste des Publications[ Comlan Maurice]

Conflict Equivalence of Branching Processes

DELFIEU DAVID [1], Comlan Maurice [2], SOGBOHOSSOU MEDESU [3],

For concurrent and large systems, specification step is a crucial point. Combinatory explosion is a limit that can be encountered when a state space e [...]

Article, Ajoutée le 31/01/2020 10:46

E-gouvernance au Bénin: enjeux et étapes de mise en place

Comlan Maurice [1],

L'e-gouvernance est l'utilisation par le secteur public des Technologies de l'Information et de la Communication dans le but d'améliorer la livraison [...]

Livre, Ajoutée le 31/01/2020 11:03

Petri Nets to Arduino (PN2A) Embedding Time Petri Nets into a Microcontroller Architecture

Comlan Maurice [1], DELFIEU DAVID [1],

This paper presents a tool which embeds Time Petri Nets into Arduino micro-controller boards. Time elapsing is mimicked by a timer that is acting on a [...]

Article, Ajoutée le 06/02/2020 14:21

Algebraic Analysis of Branching Processes

DELFIEU DAVID [1], Comlan Maurice [2], SOGBOHOSSOU MEDESU [3],

Combinatory explosion is a limit which can be en- countered when a state space exploration is driven on large specification modeled with Petri nets. T [...]

Article, Ajoutée le 06/02/2020 14:41

Embedding Time Petri nets

Comlan Maurice [1], DELFIEU DAVID [2], SOGBOHOSSOU MEDESU [3], VIANOU Antoine [4],

This paper presents a tool (PN2A) which embeds Time Petri Nets (TPN) to Arduino micro-controller architecture. PN2A imports TPN and generates Arduino [...]

Article, Ajoutée le 06/02/2020 14:41

Pomsets and Unfolding of Reset Petri Nets

CHATAIN THOMAS [1], Comlan Maurice [2], DELFIEU DAVID [3], JEZEQUEL LOIG [4], ROUX Olivier Henri [5],

Reset Petri nets are a particular class of Petri nets where transition firings can remove all tokens from a place without checking if this place actua [...]

Article, Ajoutée le 06/02/2020 14:43

Publications par entité

  • Centre de Formation et de Recherche en matière de Population (CEFORP) (15)
  • Centre Interfacultaire de Formation et de Recherche en Environnement pour le Développement Durable (CIFRED) (18)
  • Chaire Internationale en Physique Mathématique et Applications (CIPMA-Chaire UNESCO) (16)
  • Ecole Nationale d'Administration et de Magistrature (ENAM) (46)
  • Ecole Nationle d'Economie Appliquée et de Management (73)
  • Ecole Normale Supérieure (23)
  • Ecole Polytechnique d'Abomey-Calavi (EPAC) (860)
  • Faculté de droit et de Science Politique (FADESP) (47)
  • Faculté des Lettres et Sciences Humaines (FLASH) (835)
  • Faculté des Sciences Agronomiques (1399)
  • Faculté des Sciences de la Santé (FSS) (1696)
  • Faculté des Sciences Economiques et de Gestion (FASEG) (138)
  • Faculté des Sciences et Techniques (FAST) (766)
  • Faculté des Sciences Humaines et Sociales (FASHS) (18)
  • Institut de Formation et de Recherche en Informatique (IFRI) (69)
  • Institut de Mathématiques et de Sciences Physiques (IMSP) (69)
  • Institut National de l'Eau (INE) (13)
  • INSTITUT NATIONAL DE LA JEUNESSE DE L’EDUCATION PHYSIQUE ET SPORT(INJEPS) (191)
  • Institut National des Métiers d'Art d'Archéologie et de la Culture (INMAAC) (4)
  • Institut Régional de Santé Publique (IRSP) (51)

Publications par sexe

  • Femme( 953 )
  • Homme (