Browsing by Author "Bevilaqua, André"
Now showing items 1-1 of 1
-
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 ...