TRANSFORMATION ANALYSIS METHODS FOR THE BDSPN MODEL

Karim Labadi, Haoxun Chen, Lionel Amodeo

Abstract

The work of this paper contributes to the structural analysis of batch deterministic and stochastic Petri nets (BDSPNs). The BDSPN model is a class of Petri nets introduced for the modelling, analysis and performance evaluation of discrete event systems with batch behaviours. The model is particularly suitable for the modelling of flow evolution in discrete quantities (batches of variable sizes) in a system with activities performed in batch modes. In this paper, transformation procedures for some subclasses of BDSPN are developed and the necessity of the introduction of the new model is demonstrated.

References

  1. Chen, H., Amodeo, L., Chu, F., and Labadi, K., “Performance evaluation and optimization of supply chains modelled by Batch deterministic and stochastic Petri net”, IEEE transactions on Automation Science and Engineering, pp. 132-144, 2005.
  2. Labadi, K., Chen, H., Amodeo, L., “Modeling and Performance Evaluation of Inventory Systems Using Batch Deterministic and Stochastic Petri Nets”, to appear in IEEE Transactions on Systems, Man, and Cybernetics - Part C, 2007.
  3. Labadi, K., Chen, H., Amodeo, L., “Application des BDSPNs à la Modélisation et à l'Evaluation de Performance des Chaînes Logistiques”, Journal Européen des Systèmes Automatisés, pp. 863-886, n° 7, 2005.
  4. Lindemann, C., “Performance Modelling with Deterministic and Stochastic Petri Nets”, John Wiley and Sons, 1998.
  5. Marsan A. M., and Chiola G., “On Petri nets with deterministic and exponentially distributed firing times”, Lecture Notes in Computer Science, vol. 266, pp. 132-145, Springer-Verglag, 1987.
Download


Paper Citation


in Harvard Style

Labadi K., Chen H. and Amodeo L. (2007). TRANSFORMATION ANALYSIS METHODS FOR THE BDSPN MODEL . In Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics - Volume 3: ICINCO, ISBN 978-972-8865-84-9, pages 135-141. DOI: 10.5220/0001638501350141


in Bibtex Style

@conference{icinco07,
author={Karim Labadi and Haoxun Chen and Lionel Amodeo},
title={TRANSFORMATION ANALYSIS METHODS FOR THE BDSPN MODEL},
booktitle={Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics - Volume 3: ICINCO,},
year={2007},
pages={135-141},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001638501350141},
isbn={978-972-8865-84-9},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics - Volume 3: ICINCO,
TI - TRANSFORMATION ANALYSIS METHODS FOR THE BDSPN MODEL
SN - 978-972-8865-84-9
AU - Labadi K.
AU - Chen H.
AU - Amodeo L.
PY - 2007
SP - 135
EP - 141
DO - 10.5220/0001638501350141