Atenção:
O eduCAPES é um repositório de objetos educacionais, não sendo responsável por materiais de terceiros submetidos na plataforma. O usuário assume ampla e total responsabilidade quanto à originalidade, à titularidade e ao conteúdo, citações de obras consultadas, referências e outros elementos que fazem parte do material que deseja submeter. Recomendamos que se reporte diretamente ao(s) autor(es), indicando qual parte do material foi considerada imprópria (cite página e parágrafo) e justificando sua denúncia.
Caso seja o autor original de algum material publicado indevidamente ou sem autorização, será necessário que se identifique informando nome completo, CPF e data de nascimento. Caso possua uma decisão judicial para retirada do material, solicitamos que informe o link de acesso ao documento, bem como quaisquer dados necessários ao acesso, no campo abaixo.
Todas as denúncias são sigilosas e sua identidade será preservada. Os campos nome e e-mail são de preenchimento opcional. Porém, ao deixar de informar seu e-mail, um possível retorno será inviabilizado e/ou sua denúncia poderá ser desconsiderada no caso de necessitar de informações complementares.
Metadados | Descrição | Idioma |
---|---|---|
Autor(es): dc.contributor | Silva, Fabiano, 1972- | - |
Autor(es): dc.contributor | Universidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em Informática | - |
Autor(es): dc.creator | Neves, Anderson Pereira das | - |
Data de aceite: dc.date.accessioned | 2025-09-01T13:57:14Z | - |
Data de disponibilização: dc.date.available | 2025-09-01T13:57:14Z | - |
Data de envio: dc.date.issued | 2024-11-03 | - |
Data de envio: dc.date.issued | 2024-11-03 | - |
Data de envio: dc.date.issued | 2013 | - |
Fonte completa do material: dc.identifier | https://hdl.handle.net/1884/32031 | - |
Fonte: dc.identifier.uri | http://educapes.capes.gov.br/handle/1884/32031 | - |
Descrição: dc.description | Orientador: Prof. Dr. Fabiano Silva | - |
Descrição: dc.description | Dissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciências Exatas, Programa de Pós-Graduação em Informática. Defesa: Curitiba, 28/06/2013 | - |
Descrição: dc.description | Bibliografia: fls. 89-93 | - |
Descrição: dc.description | Resumo: Este trabalho apresenta um método para verificar as propriedades de alcançabilidade e de bloqueio em rede de Petri. Rede de Petri e um modelo formal utilizado para modelar sistemas. O metodo proposto consiste em representar uma propriedade da rede de Petri em uma instancia SMT, podendo entao submete-la a um resolvedor SMT, a fim de que o resultado desta resolucao defina se a rede tem a propriedade a ser verificada. O metodo proposto foi implementado e avaliado em um conjunto de redes de Petri. A modelagem apresenta como resultado as transicoes e o número de vezes que as mesmas sao disparadas, as marcacoes intermediarias e todos os estados da rede para cada disparo necessario para atingir um estado desejado. Durante os testes obteve-se tempos muito prúximos ao do sistema Lola que e uma ferramenta especifica para anAjlise de redes de Petri. | - |
Descrição: dc.description | Abstract: This work presents a method for verifying the properties of reachability and deadlock in Petri Net. Petri Net is a formal method used in systems modeling. The proposed method consists in represent properties of the Petri net in a SMT instance, then submit it to a resolver SMT, so that the result of this resolution set if the network has the property to be verified. The method proposed has been implemented and evaluated in a set of Petri nets. The results of this modeling presents the transitions and the number of times that they were shot, the markings and all intermediate states of the network for each shot needed to achieve a desired state. During tests times were obtained very close to the Lola system that is a specific tool for the analysis of Petri nets. | - |
Formato: dc.format | viii, 93f. : il., tabs., grafs. | - |
Formato: dc.format | application/pdf | - |
Formato: dc.format | application/pdf | - |
Relação: dc.relation | Disponível em formato digital | - |
Palavras-chave: dc.subject | Redes de petri | - |
Palavras-chave: dc.subject | Teoria dos grafos | - |
Palavras-chave: dc.subject | Ciência da computação | - |
Título: dc.title | Método para verificação de propriedades de redes de petri utilizando resolvedores SMT | - |
Tipo de arquivo: dc.type | livro digital | - |
Aparece nas coleções: | Repositório Institucional - Rede Paraná Acervo |
O Portal eduCAPES é oferecido ao usuário, condicionado à aceitação dos termos, condições e avisos contidos aqui e sem modificações. A CAPES poderá modificar o conteúdo ou formato deste site ou acabar com a sua operação ou suas ferramentas a seu critério único e sem aviso prévio. Ao acessar este portal, você, usuário pessoa física ou jurídica, se declara compreender e aceitar as condições aqui estabelecidas, da seguinte forma: