“…This discrete event control verification process, accepted by the international community (David & Alla, 2010;Miyagui, 1996;Murata, 1989;Ramadge & Wonham, 1989), is applicable in the GHENeSys methodology because it encapsulates the small continuous parts within the discrete model in macroelements, which represents an advantage concerning the discrete ones (Miyagui, 1996;Ramadge & Wonham, 1989;Raman & Sreenivas, 2021), which do not allow studying the efficiency of integration. It also has an advantage over totally continuous methods (Åström et al, 1996;David & Alla, 2010;Júlvez et al, 2013;Ogata, 2010) because macroelements encapsulate continuous part, and it is not necessary to increase the complexity of the network integrated to a fluidized Petri net (David & Alla, 2010;Hermosilla et al, 2021;Júlvez et al, 2013) with more complex verification algorithms.…”