{"product_id":"modelagem-de-sistemas-orientados-a-objetos-usando-redes-de-petri-von-luciano-doll","title":"Modelagem de sistemas orientados a objetos usando Redes de Petri","description":"\u003cp\u003eEste 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.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9786139631186\"\u003e\u003ch3\u003eMetodologia para a Modelagem da Dinâmica de Sistemas Orientados a Objetos\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9786139631186","offer_id":40149170520157,"sku":"9786139631186","price":49.9,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/be51a37b-4e90-467f-bef3-0180a862e8b3.jpg?v=1757657030","url":"https:\/\/shop.autorenwelt.de\/products\/modelagem-de-sistemas-orientados-a-objetos-usando-redes-de-petri-von-luciano-doll","provider":"Autorenwelt Shop","version":"1.0","type":"link"}