Modelling and verification of enterprise application integration processes through coloured Petri nets

Alexsandro Q. Lencina, Fabricia Roos-Frantz, Rafael Z. Frantz, Sandro Sawicki. Modelling and verification of enterprise application integration processes through coloured Petri nets. IJCAT, 70(2):73-84, 2022. [doi]

Abstract

Abstract is missing.