As redes de Petri foram criadas em 1962, na tese de doutorado de Carl Adam Petri, como uma abordagem formal para modelar a comunicação entre processos. Desde então sua aplicabilidade e poder de representação se ampliou com aplicações não só em automação e processos industriais, mas abrangendo toda sorte de processo que precisa ser formalizado para garantir um funcionamento dentro de padrões aceitáveis. Hoje se aplica também ao design de sistemas discretos em geral, com extensões para sistemas híbridos.
Essa disciplina introduzirá conceitos de design e modelagem formal de sistemas discretos usando essa representação esquemática, e sua aplicação em sistemas automatizados, sistemas de serviço e sistemas de informação. Em paralelo, apresentará a aplicação das redes de Petri na verificação de sistemas (discretos ou "discretizáveis") usando a análise de propriedades das redes de Petri, juntamente com os processos convencionais de simulação., respeitando a na norma ISO/IEC 15.909, e sua evolução e novas aplicações na modelagem de negócios, sistemas de manufatura, sistemas de dados e digital twin.
- Docente: José Reinaldo Silva