Empieza jugando, termina programando PLCs
Especializada en Redes de Petri para automatización industrial, pero adaptable a cualquier campo que requiera modelado formal y análisis de sistemas concurrentes. Aprende desde conceptos básicos hasta análisis avanzados de propiedades estructurales y comportamentales.
Nuestro enfoque principal son las Redes de Petri para automatización industrial. La plataforma es adaptable a dominios que requieren modelado formal y análisis de sistemas concurrentes, pero no tiene como objetivo cubrir todas las técnicas formales.
Control de procesos, sistemas de fabricación, robótica
Programación concurrente, sistemas distribuidos, protocolos
Optimización de la cadena de suministro, control de calidad, asignación de recursos
Optimización de procesos, gestión de flujos de trabajo, sistemas de apoyo a decisiones
Flujos clínicos, procesos de atención al paciente, toma de decisiones médicas
Modelado de flujos de trabajo, procesos de negocio, verificación de sistemas
Desde automatización industrial hasta modelado de procesos de negocio — aplicable a cualquier sistema concurrente.
Crea, simula y analiza modelos formales con nuestro entorno visual interactivo.
Desarrollada por el Prof. Luiz Edival de Souza con 4 décadas de investigación en automatización industrial, Redes de Petri e IA.