K
Karim Labadi
Researcher at University of Technology of Troyes
Publications - 34
Citations - 462
Karim Labadi is an academic researcher from University of Technology of Troyes. The author has contributed to research in topics: Petri net & Stochastic Petri net. The author has an hindex of 10, co-authored 34 publications receiving 364 citations. Previous affiliations of Karim Labadi include Centre national de la recherche scientifique & École Normale Supérieure.
Papers
More filters
Journal ArticleDOI
A branch-and-bound algorithm for solving the static rebalancing problem in bicycle-sharing systems
TL;DR: This paper defines and formulate a mathematical model to minimize both the operational cost and the waiting times of the stations in disequilibrium states and proposes several lower and upper bounds that are incorporated in a branch-and-bound algorithm.
Journal ArticleDOI
Modeling and performance evaluation of supply chains using batch deterministic and stochastic Petri nets
TL;DR: It is shown how an inventory system and a real-life supply chain can be modeled and their performances can be evaluated analytically and by simulation respectively based on the model.
Journal ArticleDOI
Stochastic Petri Net Modeling, Simulation and Analysis of Public Bicycle Sharing Systems
TL;DR: This paper develops an original discrete event approach for modelling and performance evaluation of public bicycle-sharing systems by using Petri nets with time, inhibitor arcs and variable arc weights.
Journal ArticleDOI
Modeling and Performance Evaluation of Inventory Systems Using Batch Deterministic and Stochastic Petri Nets
TL;DR: The BDSPN model is formally introduced, and its conflict resolutions of transitions and batch firing indexes are addressed, and the model is then applied to the modeling and performance evaluation of various inventory systems.
Journal ArticleDOI
Improving satellite rainfall estimation from MSG data in Northern Algeria by using a multi-classifier model based on machine learning
TL;DR: In this article, a machine learning-based multi-classifier model was proposed for the estimation of precipitation from satellite images (Meteosat Second Generation) using six classifiers: Random Forest (RF1), Artificial Neural Network (ANN), Support Vector Machine (SVM), Naive Bayesian (NB), Weighted k-Nearest Neighbors (WkNN), and the Kmeans ++ algorithm (Kmeans).