A Formal Performance Evaluation Method for Customised Plug-and-Play Manufacturing Systems Using Coloured Petri Nets

Abstract

Recent technological advancements and the evolution of industrial manufacturing paradigms have substantially increased the complexity of product-specific production systems. To reduce the time cost of modelling and verification and to enhance the degree of uniformity in the modelling process of system components, this article presents a componentised framework for domain modelling and performance analysis based on the concept of “multi-granularity and multi-view” for a production line of personalised and customised products, for plug-and-play manufacturing processes to involving a large number of model input parameters. The coloured Petri net tool is utilised as a simulation tool for mapping domain models to computational models for simulation and performance evaluation. This paper presents a method for setting the input parameters of a production system when using WIP, through-put and cycle time as metrics. The results of the performance analysis demonstrate the applicability of the proposed framework and provide direction for the production line’s layout design and scheduling strategy.

Keywords

• cyber-physical production system
• customised plug-and-play manufacturing
• formal modelling
• performance evaluation