Modeling and performance analysis of an industrial transport platform manufacturing process

This contribution focuses on the modeling and performance analysis of the manufacturing process for transport platforms at the Alimak Group facility in La Muela, Spain. The objective is to leverage formal tools to gain insights into this complex manufacturing process and explore potential applications such as control and optimization. This work presents a preliminary study, where a Generalized Stochastic Petri net model of the manufacturing process is proposed to be used for simulation, performance analysis, and optimization of the system.