Uma contribuição ao estudo de Redes de Petri

• Processo: 95/01976-1
• Modalidade de apoio: Bolsas no Brasil - Mestrado
• Data de Início da vigência: 01 de outubro de 1995
• Data de Término da vigência: 28 de fevereiro de 1997
• Área de 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
• Palavra(s)-Chave do Pesquisador: Modelagem De Sistemas | Redes De Petri | Simulacao 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)