Peer-reviewed journal articles indexed in international databases

  1. Karim Labadi, Haoxun Chen,
    Modelling, analysis, and optimization of supply chains by using Petri net models: the state-of-the art.
    International Journal of Business Performance and Supply Chain Modelling 2(3), 188–215.
    2010.
  2. Karim Labadi, Haoxun Chen, Lionel Amodeo,
    Modeling and Performance Evaluation of Inventory Systems Using Batch Deterministic and Stochastic Petri Nets.
    IEEE transactions on systems , man and cybernetics.Part C, Applications and reviews. 37(6), 1287–1302.
    2007.
  3. Haoxun Chen, Lionel Amodeo, Feng Chu, Karim Labadi,
    Performance Evaluation and Optimization of Supply Chains modelled by Batch Deterministic and Stochastic Petri Nets.
    IEEE transactions on automation science and engineering 2(2), 132–144.
    2005.
  4. Karim Labadi, Haoxun Chen, Lionel Amodeo,
    Application des BDSPNs à la Modélisation et à l'évaluation de Performances des Chaînes Logistiques.
    Journal européen des systèmes automatisés 39(7), 863–886.
    2005.

Proceedings articles indexed in international databases

  1. Karim Labadi, Samira Saggadi, Lionel Amodeo,
    PSA-SPN - A Parameter Sensitivity Analysis Method Using Stochastic Petri Nets: Application to a Production Line System.
    2nd Mediterranean Conference on Intelligent Systems and Automation, Zarzis, Tunisia, March 2009, 6.
    2009.
  2. Karim Labadi, Samira Saggadi, Lionel Amodeo,
    Analyse de sensibilité à l'aide des réseaux de Petri : Application à un système de gestion de stock.
    8e Congrès International de Génie Industriel, Bagnères de Bigorre, France, Juin 2009, 6.
    2009.
  3. Karim Labadi, Haoxun Chen, Lionel Amodeo,
    Transformation Methods of the BDSPN model into an Equivalent Classical Petri Net.
    IEEE EUROCON 2007, International Conference on Computer as a Tool, Warsaw, Poland, September 2007, 6.
    2007.
  4. Karim Labadi, Haoxun Chen, Lionel Amodeo,
    Qualitative Analysis of the BDSPN Model through its associated Discrete Petri Net.
    IFAC Workshop on Dependable Control of Discrete Systems, Cachan, June 2007, 6.
    2007.
  5. Karim Labadi, Haoxun Chen, Lionel Amodeo,
    Transformation Methods for the BDSPN Model.
    International Conference on Informatics in Control, Automation and Robotics, Angers, June 2007, 6.
    2007.
  6. Haoxun Chen, Karim Labadi, Lionel Amodeo,
    Modeling, Analysis, and Optimization of Logistics Systems Petri Net Based Approaches.
    3rd IEEE International Conference on Service System and Service Management, Troyes, France, October 2006, 575–582.
    2006.
  7. Karim Labadi, Haoxun Chen, Lionel Amodeo,
    Batch deterministic and stochastic Petri nets approach for modeling and performance analysis of inventory systems: application to (s, S) inventory system.
    3rd IEEE International Conference on Service System and Service Management, Troyes, France, October 2006, 977–983.
    2006.
  8. Karim Labadi, Haoxun Chen, Lionel Amodeo,
    Modélisation et Evaluation de Performances des Systèmes de Stockage à l'aide des BDSPNs.
    6eme Congrès International de Génie Industriel, Besançon, Juin 2005, 10.
    2005.
  9. Karim Labadi, Haoxun Chen, Lionel Amodeo,
    Batch Deterministic and Stochastic Petri Nets - Analysis and Application to inventory systems.
    16th IFAC World Congress, Prague, July 2005, 8.
    Prague, 2005.
  10. Karim Labadi, Haoxun Chen, Lionel Amodeo,
    Batch Deterministic and Stochastic Petri Nets -Modelling, Analysis and its Application to Supply Chain.
    IEEE, International Conference on Systems, Man and Cybernetics, The Hague, Octobre 2004, 4515–4520.
    2004.

Unindexed proceedings articles

  1. Samira Saggadi, Karim Labadi, Lionel Amodeo,
    Une méthode pour l'analyse de sensibilité des réseaux de Petri stochastiques.
    10e Conférence de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, Nancy, France, Février 2009, 6.
    2009.
  2. Karim Labadi, Haoxun Chen, Lionel Amodeo,
    Nouvelles Propriétés Comportementales pour les Réseaux de Petri Lots Déterministes et Stochastiques.
    Conférence de la Manifestation des Jeunes Chercheurs STIC, MAJECSTIC¿04, Calais, France, Octobre 2004, 8.
    2004.

Conference talks with no proceedings

  1. Karim Labadi, Haoxun Chen, Lionel Amodeo,
    Modélisation et analyse des performances des chaînes logistiques par les réseaux de Petri.
    Journée Travaux de Jeunes Chercheurs et Normalisation RdP, CNAM Paris, Janvier 2004.
    2004.

Scientific books (or chapters)

  1. Karim Labadi, Haoxun Chen, Lionel Amodeo,
    Batch Deterministic and Stochastic Petri Nets and Transformation Analysis Methods.
    New Developments in Robotics Automation and Control, 449–474.
    I-Tech, Vienna, 2008.

PhD theses

  1. Karim Labadi,
    Contribution à la Modélisation et à l'Analyse de Performances des Systèmes Logistiques à l'aide d'un Nouveau Modèle de Réseaux de Petri Stochastiques.
    2005.