Português

Apresentação

O programa JARP está sendo desenvolvido, inicialmente, como um auxiliar para a ferramenta de análise de redes de Petri ARP que foi desenvolvida no LCMI.

Suas principais características são:

	Composição visual de redes de Petri;
	Simulação interativa de redes;
	Exportar redes para o formato de arquivo do ARP;
	Exportar para o formato padronizado PNML (Petri Net Markup Language - baseada em XML);
	Exportar para os formatos gráficos GIF, JPEG, PNG and PPM.

As expansões previstas são:

	A implementação dos algoritmos básicos de análise de redes de Petri (componentes conservativos e repetitivos, marcações acessíveis, árvore de cobertura, propriedades da rede...);
	A possibilidade de importar redes a partir de arquivos no formato ARP (o formato ARP não define informações de posição dos lugares e transições).

Notícias

Veja as últimas notícias na página do JARP no SourceForge.

Download

Por favor dirija-se à página http://sourceforge.net/projects/jarp/ para ter acesso aos arquivos e ao suporte ao usuário do JARP.

Para acessar diretamente a página de download, clique aqui.

Instalação

Certifique-se que você tem uma máquina virtual Java 2 instalada e devidamente configurada. Para isso, digite o comando seguinte em um prompt:

> java -version

java version "1.3.0"
Java(TM) 2 Runtime Environment, Standard Edition (build 1.3.0-C)
Java HotSpot(TM) Client VM (build 1.3.0-C, mixed mode)

Se não houver uma resposta parecida com o que está mostrado acima, acesse o site da Sun e baixe alguma versão do Java SDK (ou JDK) - qualquer versão superior à 1.2 é suficiente.

Ambiente Windows

Para instalar o JARP, baixe o arquivo JAR correspondente em alguma pasta (por exemplo c:\temp) do seu disco. Então abra uma janela de DOS e vá para esta pasta e digite:

c:\temp\> java -jar jarp.jar

Se tudo estiver certo, a janela principal do JARP deve aparecer em alguns instantes.

Outros Ambientes

Baixe o arquivo correspondente para a sua máquina e execute a linha de comando abaixo no diretório onde se encontrar o arquivo:

> java -jar jarp.jar

Se tudo estiver certo, a janela principal do JARP deve aparecer em alguns instantes.

http://jarp.sourceforge.net

09/12/2001 14:40:32 -0300