Karim Labadi

Publication Activity (10 Years)

Years Active: 2004-2023
Publications (10 Years): 4

Top Topics

Combinatorial Optimization

Top Venues

IEEE Trans Autom. Sci. Eng.

Int. J. Syst. Sci.

Comput. Ind. Eng.

Publications

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