QUALITATIVE ANAYSIS OF THE BDSPN MODEL THROUGH ITS ASSOCIATED DISCRETE PETRI NET

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.