In the literature, several research works have been conducted about the integration of different UML diagrams and formal methods such as Petri nets (Xinhong, Lining, Weigang, Jinli, & Guo, 2011; Wang & Lu, 2012; Saldhana, Shatz, & Hu, 2001) and Colored Petri nets (CPN) (Kerkouche et al., 2010; Meghzili et al. (2020)).