Qualitative Analysis of the BDSPN Model through its associated Discrete Petri Net

Karim Labadi (1) , Lionel Amodeo (1) , Haoxun Chen (1)

1 LOSI - Laboratoire d'Optimisation des Systèmes Industriels

The BDSPN model is a class of Petri nets introduced for the modelling, analysis and performance evaluation of discrete event systems with batch behaviours. It is particularly suitable for the modelling of flow evolution in batches of variable sizes in a system with activities performed in batch modes. In this paper, the analysis of the BDSPN model through its associated discrete Petri net is studied. It is shown that although a BDSPN and its associated discrete Petri net behave differently, there are several common qualitative properties between the two models.

Domaines: Recherche opérationnelle [math.OC]

Karim Labadi, Lionel Amodeo, Haoxun Chen. Qualitative Analysis of the BDSPN Model through its associated Discrete Petri Net. 1st IFAC Workshop on Dependable Control of Discrete Systems, Jun 2007, Cachan, France. pp.151-156, ⟨10.3182/20070613-3-FR-4909.00028⟩. ⟨hal-02556118⟩