“…A large scale number of formal specification models has been proposed in the literature, among others Z-language (Regayeg, Kacem & Jmaiel, 2005). Petri nets (Celaya, Desrochers & Graves, 2007), colored Petri nets (El Fallah-Seghrouchni, Haddad & Mazouzi, 1999) (Mazouzi, Seghrouchni, & Haddad, 2002), Recursive Petri Nets (RPN for short) (El Fallah-Seghrouchni & Haddad, 1996), Maude (Mokhati, Boudiaf, Badri & Badri, 2007), Logic (Lomuscio & Sergot, 2003 ;Lomuscio & Michaliszyn, 2015), Synchronized Recursive Petri nets (SyPN for short) (Kouah, Saïdouni & Ilié, 2013). A full description of these models have already tackled in (Kouah, Saïdouni & Ilié, 2013).…”