scispace - formally typeset
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).