Karim Labadi

14 papers A 1Journal 11Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Kernel estimation analysis of the finite source
Int. J. Math. Oper. Res.
Ikhlef Lyes, Karim Labadi
2023 J jnl
A Petri Nets-Based Simulation Methodology for Modular Modeling and Performance Evaluation of Car-Sharing Networks.
IEEE Trans Autom. Sci. Eng.
Ali Hamroun, Karim Labadi, Mourad Lazri, Jean-Pierre Barbot
2019 J jnl
Lower and upper bounds for scheduling multiple balancing vehicles in bicycle-sharing systems.
Soft Comput.
Ahmed Abdelmoumene Kadri, Imed Kacem, Karim Labadi
2017 A conf
Electric cars-sharing systems modeling and analysis.
ICCAD
Taha Benarbia, Abdelhafid Omari, B. Aour, Karim Labadi, Samir Hamaci
2016 J jnl
A branch-and-bound algorithm for solving the static rebalancing problem in bicycle-sharing systems.
Comput. Ind. Eng.
Ahmed Abdelmoumene Kadri, Imed Kacem, Karim Labadi
2015 J jnl
Stochastic Petri Net Modeling, Simulation and Analysis of Public Bicycle Sharing Systems.
IEEE Trans Autom. Sci. Eng.
Karim Labadi, Taha Benarbia, Jean-Pierre Barbot, Samir Hamaci, Abdelhafid Omari
2013 J jnl
Performance evaluation of nonlinear weighted T-system.
Int. J. Syst. Sci.
A. Benfekir, Samir Hamaci, Jean-Louis Boimond, Karim Labadi
2012 J jnl
Modelling and control of self-service public bicycle systems by using Petri nets.
Int. J. Model. Identif. Control.
Taha Benarbia, Karim Labadi, Abdel Moumen Darcherif, Maurice Chayet
2010 J jnl
Modelling, analysis and optimisation of supply chains by using Petri net models: the state-of-the-art.
Int. J. Bus. Perform. Supply Chain Model.
Karim Labadi, Haoxun Chen
2008 J jnl
A new stochastic Petri net model and its applications to logistics systems.
4OR
Karim Labadi
2007 J jnl
Modeling and Performance Evaluation of Inventory Systems Using Batch Deterministic and Stochastic Petri Nets.
IEEE Trans. Syst. Man Cybern. Part C
Karim Labadi, Haoxun Chen, Lionel Amodeo
2007 — conf
Transformation analysis methods for the BDSPN model.
ICINCO-SPSMC
Karim Labadi, Haoxun Chen, Lionel Amodeo
2005 J jnl
Modeling and performance evaluation of supply chains using batch deterministic and stochastic Petri nets.
IEEE Trans Autom. Sci. Eng.
Haoxun Chen, Lionel Amodeo, Feng Chu, Karim Labadi
2004 — conf
Batch deterministic and stochastic Petri nets modeling, analysis and its application to supply chain.
SMC (5)
Karim Labadi, Haoxun Chen, Lionel Amodeo