JSARP - Simulador e Analisador de Redes de Petri em Java

Descrição do Projeto

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.

Origem

Esse projeto teve origem em 2006 como projeto final do curso de graduação de Informática e Tecnologia da Informação da Universidade do Estado do Rio de Janeiro (UERJ).

JSARP - Simulator and Analyzer Petri Nets in Java

Abstract

Petri Nets can be used on the modeling and verification of several operation system features such as concurrency and process synchronization, conflict verification, resource sharing, among others. This paper describes a tool, which allows describing and verifying Petri Nets with the support of a graphical interface. This tool, based on the ARP, is being developed in Java and employs modern object oriented techniques and design patterns. In this way extensions to this tool, such as time constraints and the introduction of new verification strategies can be easily plugged.

Origin

This project originated in 2006 as the final project of the undergraduate course of Computer and Information Technology, at the State University of Rio de Janeiro (UERJ).

Aluno / Student: Felipe G. de Oliveira Lino
Orientador / Mentor Teacher: Alexandre Sztajnberg

Last edited Jun 4, 2014 at 12:57 AM by felipelino, version 6