• Redução automatizada de redes de petri baseada em algoritmos genéticos 

      Bevilaqua, André (Universidade Federal de São Carlos, UFSCar, Programa de Pós-Graduação em Ciência da Computação - PPGCC, , 26/06/2014)
      Petri Net (PN) is a graphical mathematical tool used to create models that provide a formal specification of systems, creating the possibility of running behavior analysis and property verification. PN models can be used ...
    • Algoritmo genético com operador de transgenia para minimização de makespan da programação reativa da produção 

      Viana, Monique Simplicio (Universidade Federal de São Carlos, UFSCar, Programa de Pós-Graduação em Ciência da Computação - PPGCC, Câmpus São Carlos, 29/08/2016)
      In recent years, several studies have been carried out to minimize the production time (makespan) in a production schedule of a scenario that represents a manufacturing system. The problem of production scheduling is ...