Petri Net Approach to Automated Modelling and Performance Evaluation for Robotic Assembly Systems

The paper presents a method of automated modelling and performance evaluation of concurrent production flows carried out in robotic assembly systems. The method allows for quick assessment of various variants of such systems, considering their structure and the organization of production flow of possible ways of their implementation is carried out. The reference model follows the Petri net theory formalism framework. Its essence is the conditions imposed on the designed model, limiting the space of possible variants of the production flow only to deadlock-free variants. The practical usefulness of the model implemented in the proposed method illustrates the example describing the simultaneous assessment of alternative variants of the assembly system's structure and the planned multi-assortment production. Finally, its capacity to focus on feasible solutions offers attractive perspectives for guiding the Digital Twin like scenario in situations caused by the need to change the production flow.