TRANSFORMATION ANALYSIS METHODS FOR THE BDSPN MODEL

Karim Labadi, Haoxun Chen, Lionel Amodeo

2007

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.

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