• Login
    View Item 
    •   DSpace Home
    • BIBLIOTECA DIGITAL: Teses & Dissertações
    • 40001016034P5 Programa de Pós-Graduação em Informática
    • Dissertações
    • View Item
    •   DSpace Home
    • BIBLIOTECA DIGITAL: Teses & Dissertações
    • 40001016034P5 Programa de Pós-Graduação em Informática
    • Dissertações
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Método para verificação de propriedades de redes de petri utilizando resolvedores SMT

    Thumbnail
    View/Open
    R - D - ANDERSON PEREIRA DAS NEVES.pdf (546.2Kb)
    Date
    2013-09-13
    Author
    Neves, Anderson Pereira das
    Metadata
    Show full item record
    Subject
    Dissertações
    Redes de petri
    Teoria dos grafos
    xmlui.dri2xhtml.METS-1.0.item-type
    Dissertação
    Abstract
    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.
    URI
    http://hdl.handle.net/1884/32031
    Collections
    • Dissertações [353]

    DSpace software copyright © 2002-2016  DuraSpace
    Contact Us | Send Feedback
    Theme by 
    Atmire NV
     

     

    Browse

    All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsxmlui.ArtifactBrowser.Navigation.browse_typeThis CollectionBy Issue DateAuthorsTitlesSubjectsxmlui.ArtifactBrowser.Navigation.browse_type

    My Account

    LoginRegister

    Statistics

    View Usage Statistics

    DSpace software copyright © 2002-2016  DuraSpace
    Contact Us | Send Feedback
    Theme by 
    Atmire NV