Title :
Transformation Methods of the BDSPN Model into an Equivalent Classical Petri Net
Author :
Labadi, Karim ; Chen, Haoxun ; Amodeo, Lionel ; Hamaci, Samir
Author_Institution :
EPMI, Cergy-Pontoise
Abstract :
The BDSPN model is a class of Petri nets introduced for the modeling, analysis and performance evaluation of discrete event systems with batch behaviors. The model is particularly suitable for the modeling of flow evolution in discrete quantities (batches of variable sizes) in a system with activities performed in batch modes. The work of this paper contributes to the structural analysis of the model. Transformation procedures for some subclasses of BDSPN are developed and the necessity of the introduction of the new model is demonstrated.
Keywords :
Petri nets; batch processing (industrial); discrete event systems; stochastic processes; BDSPN model; batch behaviors; batch modes; discrete event systems; equivalent classical Petri net; flow evolution; structural analysis; transformation methods; Discrete event systems; Electronic mail; Inhibitors; Inventory control; Manufacturing industries; Performance analysis; Petri nets; Stochastic processes; Tellurium; Tin; Petri nets; analysis; discrete event systems;
Conference_Titel :
EUROCON, 2007. The International Conference on "Computer as a Tool"
Conference_Location :
Warsaw
Print_ISBN :
978-1-4244-0813-9
Electronic_ISBN :
978-1-4244-0813-9
DOI :
10.1109/EURCON.2007.4400489
