Modelagem de sistemas orientados a objetos usando Redes de Petri

Este trabalho apresenta uma nova abordagem para a modelagem da dinmica de sistemas computacionais orientados a objetos. Ao invs de empregar diagramas de transio de estados para descrever os modelos de estados de cada classe, como faz a UML, esta abordagem prope o emprego de redes de Petri Predicado/Transio. Analisando a interao 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/Transio que descreve o modelo de estados global para o sistema. A principal vantagem de se utilizar uma notao formal para modelar a dinmica de um sistema a possibilidade de aplicar tcnicas de anlise formal com o intuito de validar propriedades do sistema.