Modelling and verification of enterprise application integration processes through coloured Petri nets. - Alexsandro Q. Lencina; Fabricia Roos-Frantz; Rafael Z. Frantz; Sandro Sawicki (Int. J. Comput. Appl. Technol., 2022)