Começe brincando, termine programando CLP
Especializada em Redes de Petri para automação industrial, mas adaptável a qualquer área que exija modelagem formal e análise de sistemas concorrentes. Aprenda desde conceitos básicos até análises avançadas de propriedades estruturais e comportamentais.
Nosso foco principal são as Redes de Petri para automação industrial. A plataforma é adaptável a domínios que exigem modelagem formal e análise de sistemas concorrentes, mas não tem como objetivo abranger todas as técnicas formais.
Controle de processos, sistemas de manufatura, robótica
Programação concorrente, sistemas distribuídos, protocolos
Otimização da cadeia de suprimentos, controle de qualidade, alocação de recursos
Otimização de processos, gestão de fluxos de trabalho, sistemas de apoio à decisão
Fluxos clínicos, processos de cuidado ao paciente, tomada de decisão médica
Modelagem de fluxos, processos de negócio, verificação de sistemas
De automação industrial à modelagem de processos de negócio — aplicável a qualquer sistema concorrente.
Crie, simule e analise modelos formais com nosso ambiente visual interativo.
Desenvolvida na UNIFEI com 4 décadas de pesquisa em automação industrial, Redes de Petri e IA.