Modelagem de sistemas orientados a objetos usando Redes de Petri

Este trabalho apresenta uma nova abordagem para a modelagem da din mica de sistemas computacionais orientados a objetos. Ao inv s de empregar diagramas de transi o de estados para descrever os modelos de estados de cada classe, como faz a UML, esta abordagem prop e o emprego de redes de Petri Predicado/Transi o. Analisando a intera o entre objetos de classes diferentes pode-se integrar as redes de Petri de cada classe a fim de obter-se uma nica rede de Petri Predicado/Transi o que descreve o modelo de estados global para o sistema. A principal vantagem de se utilizar uma nota o formal para modelar a din mica de um sistema a possibilidade de aplicar t cnicas de an lise formal com o intuito de validar propriedades do sistema.