Transformation Methods of the BDSPN model into an Equivalent Classical Petri Net

Karim Labadi (1) , Haoxun Chen (1) , Lionel Amodeo (1) , Samir Hamaci (2)

1 LOSI - Laboratoire d'Optimisation des Systèmes Industriels
2 LISA - Laboratoire d'Ingéniérie des Systèmes Automatisés

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.

Domains: Operations Research [cs.RO]

Karim Labadi, Haoxun Chen, Lionel Amodeo, Samir Hamaci. Transformation Methods of the BDSPN model into an Equivalent Classical Petri Net. EUROCON 2007 - The International Conference on "Computer as a Tool", Sep 2007, Warsaw, Poland. pp.2221-2228, ⟨10.1109/EURCON.2007.4400489⟩. ⟨hal-02556111⟩