PETRILab
Simulador de Redes de Petri Interpretadas para Controle
...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