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
Desenvolvido por pesquisadores especializados em métodos formais e sistemas de automação industrial.
Crie, simule e analise modelos formais com nosso ambiente visual interativo.
De automação industrial à modelagem de processos de negócio — aplicável a qualquer sistema concorrente.