|
|
 |
 |
 |
JSARP - Simulador e Analisador de Redes de Petri em Java
Aluno: Felipe G. de Oliveira Lino Orientador: Alexandre Sztajnberg
As Redes de Petri têm aplicação na modelagem e verificação de várias características de sistemas operacionais como a concorrência e sincronização de processos, verificação de conflitos, compartilhamento de recursos, entre outros. Este site contém informações sobre uma ferramenta que permite a descrição e a verificação de Redes de Petri com o suporte de uma interface gráfica. Esta ferramenta, baseada no ARP, foi desenvolvida em Java e emprega técnicas modernas de orientação a objetos e design patterns. Desta forma extensões a ferramentas, tais como, restrições temporais e a introdução de novas estratégias de verificação, podem ser “plugadas” com certa facilidade.
Contato: [email protected]
Atualizações: Contato: [email protected]
- 17/11/2007 - Versão do Programa foi atualizada. O JSARP agora permite a edição
de rótulos na Área de Desenho.
- 12/10/2007 - Versão do Programa foi atualizada. O JSARP agora exibe as matrizes
de Entrada, Saída e Incidência da Rede de Petri em Análise das Propriedades da Rede.
- 05/06/2007 - A monografia foi atualizada com a versão final.
- 14/05/2007 - Seção de Downloads atualizada com a Monografia e Artigo do WSO.
- 20/04/2007 - Site entra no ar.
