Using timed and coloured Petri nets for modelling, simulation, and analysis of integration solutions. - Francine Freddo; Sandro Sawicki; Rafael Z. Frantz; Fabricia Roos-Frantz (Int. J. Web Eng. Technol., 2019)