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
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
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
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
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
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