A evolução das tecnologias de rede sem fio e a crescente necessidade de integração e alta disponibilidade de serviços alavancou pesquisa nesta área de redes e uma das soluções propostas são as Redes de Ambiente. Redes de Ambiente visam prover sistemas de comunicação de alto desempenho que possibilitem amplo acesso aos novos serviços, a outros usuários e a conteúdo multimídia. Este é o principal objetivo do projeto de Redes de Ambiente (desenvolvido pelo WWI em parceria com várias empresas de telecomunicações, entre elas: Ericsson, Nokia, Elisa, France Telecom e Vodafone), além de prover sistemas sem fio viáveis que possibilitem a integração de pessoas e dispositivos. Neste escopo foi introduzido o conceito de composição de redes para compartilhamento de informações e recursos, de forma dinâmica, sob demanda e sem a necessidade (ou mínima) de interação de administradores de rede. As Redes de Petri representam uma especificação de sistemas através do uso da matemática e da exploração de recursos gráficos possibilitando diversos tipos de análise, como por exemplo, verificação das propriedades do sistema, análise de desempenho e corretude. O PBMAN (Policy-based Management for Ambient Networks) é um arcabouço que visa prover soluções de gerenciamento baseado em políticas para Redes de Ambiente. Este projeto teve como um dos seus objetivos o desenvolvimento de um protótipo que implementa os conceitos de composição de redes, compartilhamento de recursos e gerenciamento automático das redes baseado em políticas. Esta dissertação de mestrado teve como objetivo a modelagem do protótipo do PBMAN em redes de Petri para verificação da corretude do projeto e análise de desempenho. O desenvolvimento deste modelo foi importante para que fossem encontradas falhas de especificação de requisitos no protótipo PBMAN, além de possibilitar uma extrapolação do escopo do projeto. Essa modelagem permitiu a realização de testes rápidos sem a necessidade de modificar o protótipo em ambiente real, reduzindo significativamente custos e tempo de desenvolvimento