Busca avançada
Ano de início
Entree

Uma contribuição ao estudo de Redes de Petri

Processo: 95/01976-1
Linha de fomento:Bolsas no Brasil - Mestrado
Vigência (Início): 01 de outubro de 1995
Vigência (Término): 28 de fevereiro de 1997
Área do conhecimento:Ciências Exatas e da Terra - Ciência da Computação - Sistemas de Computação
Pesquisador responsável:Norian Marranghello
Beneficiário:Wagner Luiz Alves de Oliveira
Instituição-sede: Instituto de Biociências, Letras e Ciências Exatas (IBILCE). Universidade Estadual Paulista (UNESP). Campus de São José do Rio Preto. São José do Rio Preto , SP, Brasil
Assunto(s):Arquitetura e organização de computadores   Redes de Petri   Simulação por computador

Resumo

Em meu trabalho de IC (Fapesp, processo 93/4986-2), desenvolvi o embrião de um novo tipo de redes de Petri (R.P.), denominado R.P. numérico-temporizadas (R.P.N.T.). Trata-se de uma ferramenta de modelagem de sistemas abertos, contando com características das R.P. numéricas e das R.P. temporizadas de Merlin. Proponho, como trabalho de mestrado, rever, ampliar e formalizar a teoria de R.P.N.T., visando a criação de uma ferramenta para uso prático. Destaco duas ampliações presentes no relatório II encaminhados à Fapesp: 1) criação de um novo tipo de ramo de saída; 2) modificação do conceito de conjuntos rejeitados de Tokens por uma transição, para o conceito de combinações rejeitadas de Tokens. Será estudada a adoção de outras características, além destas. Por fim, implementarei um programa simulador de R.P.N.T., de acordo com suas novas características. (AU)