Modeling of Collaborative Production Systems using Coloured Petri Nets

Production Systems are undergoing continuous changes in order to be more competitive in a globalized market. In this scenario, there is a tendency to geographically distribute the production process to reduce development and production costs. The interaction between these components is characterized by the presence of a high number of concurrent and asynchronous processes. As a result, the development of production systems is a complex and difficult task. To cope with this complexity, this paper proposes a systematic approach for the modeling of collaborative production systems. This approach explores the potential of formal modeling language such as Colored Petri net to represent and analyze the dynamic behavior of the system. Additionally, the publish/subscribe paradigm is introduced to establish the communication in the coordination process of the system.