AHOUANDJINOU SÈMÈVO ARNAUD ROLAND MARTIAL [4], GAMGNE DOMGUE FELECITE [1], TSOPZE NORBERT [2], NDOUNDAM RENÉ [3],
Image segmentation of plant leaf is an important tool in the early detection of plant diseases from symptoms at the parasite control stage during flowering and maturity. Indeed, in the phase of pest control in order to resist plant diseases in agricu [...]
HOUESSOU MARIE-PARISIUS [1], HOUNDJI VINANSETAN RATHEIL [2], EZIN C. EUGÈNE [3],
HOUESSOU DORIAN [1], HOUNDJI RATHEIL [2], EZIN C. EUGÈNE [3],
AMETEPE ADOTE FRANÇOIS-XAVIER [1], AHOUANDJINOU ARNAUD [2], EZIN C. EUGÈNE [3],
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 actually holds tokens or not. In this paper we look at partial order semantics of such nets. In particula [...]
CHATAIN THOMAS [1], COMLAN MAURICE [2], DELFIEU DAVID [3], JEZEQUEL LOIG [4], ROUX OLIVIER HENRI [5],
This paper presents a tool (PN2A) which embeds Time Petri Nets (TPN) to Arduino micro-controller architecture. PN2A imports TPN and generates Arduino sketches, which can be then compiled and uploaded to a micro-controller architecture. Some transitio [...]
COMLAN MAURICE [1], DELFIEU DAVID [2], SOGBOHOSSOU MEDESU [3], VIANOU ANTOINE [4],
Combinatory 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 axiomati [...]
DELFIEU DAVID [1], COMLAN MAURICE [2], SOGBOHOSSOU MEDESU [3],