“…Local Modular approach is used because systems of greater complexity that have a big amount of machines (and then, events) usually can be modelled as many concurrently interacting and simpler subsystems. Matko, 2002;Queiroz & Cury, 2002;Chandra et al, 2003;Hasdemir et al, 2004;Manesis & Akantziotis, 2005;Vieira et al, 2006, Morgenstern & Schneider, 2007Noorbakhsh & Afzalian 2007a&b;Afzalian et al, 2008;Hasdemir et al, 2008;Noorbakhsh, 2008;Silva et al, 2008;Leal et al, 2009;Possan & Leal, 2009;Uzam et al, 2009). In most of these works the monolithic approach (Ramadge & Wonham, 1989) for the supervisors' synthesis is used, in which a single and usually large supervisor is computed to control the entire plant.…”