Coloured Petri nets and graphical simulation for the validation of a robotic cell in aircraft industry

Authors:
Adriano José Cunha de Aguiar;Emília Villani;Fabrício Junqueira
Affiliations:
Instituto Tecnológico de Aeronáutica, Praça Marechal Eduardo Gomes, 50 Vila das Acácias, São José dos Campos, São Paulo 12228-900, Brazil;Instituto Tecnológico de Aeronáutica, Praça Marechal Eduardo Gomes, 50 Vila das Acácias, São José dos Campos, São Paulo 12228-900, Brazil;Escola Politécnica, University of São Paulo, São Paulo, São Paulo 05508-030, Brazil
Venue:
Robotics and Computer-Integrated Manufacturing
Year:
2011

Citing 4
Cited 0

A Computational Framework for the Verification and Synthesis of Force-Guided Robotic Assembly Strategies

HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Mapping Petri Nets to Parallel Programs in CC++

COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems

International Journal on Software Tools for Technology Transfer (STTT)
The BRITNeY suite animation tool

ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper proposes a mixed validation approach based on coloured Petri nets and 3D graphic simulation for the design of supervisory systems in manufacturing cells with multiple robots. The coloured Petri net is used to model the cell behaviour at a high level of abstraction. It models the activities of each cell component and its coordination by a supervisory system. The graphical simulation is used to analyse and validate the cell behaviour in a 3D environment, allowing the detection of collisions and the calculation of process times. The motivation for this work comes from the aeronautic industry. The automation of a fuselage assembly process requires the integration of robots with other cell components such as metrological or vision systems. In this cell, the robot trajectories are defined by the supervisory system and results from the coordination of the cell components. The paper presents the application of the approach for an aircraft assembly cell under integration in Brazil. This case study shows the feasibility of the approach and supports the discussion of its main advantages and limits.