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],
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 set of clock variables. Embedding a network makes it not autonomous. Model simulations are now trul [...]
We recently introduced a global StockingCost constraint to compute the total number of time-slots between the production times and the due dates in discrete lot-sizing problems. This total number of days can be converted into a stocking-cost by multi [...]
HOUNDJI VINANSETAN RATHEIL [1], SCHAUS PIERRE [2], WOLSEY LAURENCE [3],
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 de l'information et de service, d'encourager la participation de citoyen au processus de décision et [...]
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, [...]
DELFIEU DAVID [1], COMLAN MAURICE [2], SOGBOHOSSOU MEDESU [3],
In this paper, we use Sequential Pattern Mining from Probabilistic Databases to learn trajectory patterns. Trajectories which are a succession of points are firstly transformed into a succession of zones by grouping points to build the symbolic seque [...]
ABOULAYE ABDEL-HAFIZ [1], HOUNDJI VINANSETAN RATHEIL [2], EZIN C. EUGÈNE [3],
HOUESSOU EUGENE EZIN, MANHOUGBÉ KIKI, HAROLD KIOSSOU, JEAN-BAPTISTE SOSSOU, FAIZATH ZOUMAROU WALIS MARIE-PARISIUS [1], HOUNDJI VINANSETAN RATHEIL [2], EZIN C. EUGÈNE [3],