Authors:
Karim Labadi
1
;
Haoxun Chen
2
and
Lionel Amodeo
2
Affiliations:
1
EPMI- ECS, France
;
2
LOSI-ICD (FRE CNRS 2848), France
Keyword(s):
Petri nets, BDSPN model, modelling, analysis, discrete event systems.
Related
Ontology
Subjects/Areas/Topics:
Discrete Event Systems
;
Informatics in Control, Automation and Robotics
;
Signal Processing, Sensors, Systems Modeling and Control
Abstract:
The work of this paper contributes to the structural analysis of batch deterministic and stochastic Petri nets (BDSPNs). The BDSPN model is a class of Petri nets introduced for the modelling, analysis and performance evaluation of discrete event systems with batch behaviours. The model is particularly suitable for the modelling of flow evolution in discrete quantities (batches of variable sizes) in a system with activities performed in batch modes. In this paper, transformation procedures for some subclasses of BDSPN are developed and the necessity of the introduction of the new model is demonstrated.