Download de documentação e arquivos relacionados ao projeto

Manual do Usuário
manualjsarp.pdf

Documentação JSARP - JavaDoc
jsarp_doc.zip

Produção
Redes de Petri em Formato XML para serem usadas pelo programa:

Links Úteis

Sobre Redes de Petri

  • Petri Nets World - É um repositório sobre Redes de Petri. Entre as informações mantidas, uma lista de ferramentas acadêmicas e comerciais é disponibilizada, juntamente com uma análise das características relevantes de cada uma delas. - http://www.informatik.uni-hamburg.de/TGI/PetriNets/

Ferramentas Relacionadas

  • JARP - O programa JARP ainda está em desenvolvimento. Tem como objetivo inicial ser um auxiliar para a ferramenta de análise de redes de Petri ARP que foi desenvolvida no LCMI. - http://jarp.sourceforge.net/br/index.html
  • jPNS - Este programa é um applet. Foi desenvolvido por estudantes da universidade de Stuttgart na Alemanha. O foco do programa é a edição e a simulação da rede de petri. - http://robotics.ee.uwa.edu.au/pns/
  • ARP - ARP é o Analisador/Simulador de Redes de Petri desenvolvido no Laboratório de Controle e Microinformática (LCMI) do Departamento de Engenharia Elétrica da Universidade Federal de Santa Catarina, entre 1985 e 1990. Foi construído em Pascal de forma modular permitindo facilmente projetar e conectar novas ferramentas de análise ou tratamento de Redes de Petri. Roda sobre o sistema operacional DOS 3.0 ou superior. É um programa para o auxílio ao projeto com RdP, contando com várias ferramentas para RdP ordinárias, com temporização e com temporização estendida. - http://www.ppgia.pucpr.br/~maziero/doku.php/software:arp_tool e http://www.ppgia.pucpr.br/~maziero/doku.php/software:arp_manual_portuguese

Last edited Sep 27, 2012 at 6:02 PM by felipelino, version 7

Comments

No comments yet.