Skip to Main content Skip to Navigation
Conference papers

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

Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

https://hal-utt.archives-ouvertes.fr/hal-02556118
Contributor : Jean-Baptiste Vu Van <>
Submitted on : Monday, April 27, 2020 - 6:25:06 PM
Last modification on : Tuesday, April 28, 2020 - 1:36:19 AM

Identifiers

Collections

ROSAS | UTT | CNRS

Citation

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⟩

Share

Metrics

Record views

13