O PETRILab é um software multiplataforma desenvolvido inteiramente em Python. Ele permite a modelagem e simulação de Redes de Petri Interpretadas para Controle (RPIC), tendo suporte a todos seus elementos: lugares, transições, arcos ordinários e inibidores, eventos, condições e ações.
Com uma interface gráfica simples e intuitiva, o usuário consegue modelar e simular passo-a-passo sua RPIC de forma rápida e prática, afim de estudá-la e aprimorá-la.
Além disso, o software conta com uma conversão automática de RPICs em diagramas Ladder, como proposto no artigo de M. V. Moreira e J. C. Basílio [1].
Para utilizar o programa, baixe a versão mais recente em https://sourceforge.net/projects/petrilab/files/, extraia no local de preferência e execute o arquivo 'petrilab.pyw'.
[1] M. V. Moreira e J. C. Basílio, “Bridging the Gap Between Design and Implementation of Discrete-Event Controllers”.IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERIN
Features
- Suporte a todos os elementos de uma RPIC
- Simulação funcional, a prova de efeito avalanche e loopings infinitos
- Conversão automática da RPIC em diagramas Ladder
Project Samples
