José Wilker de Medeiros

Leonardo Medeiros
• Resumo
– Redes de Petri Hierárquicas
– Ferramentas do CPN Tools
• Fusão
• Transições Substitutas
• Superpages e Subpages
• Instâncias de Páginas
– Ring Protocol
– Modelo RingProtocol
– Alterações no modelo

2
• Definição
• Representa uma linguagem adequada e sólida para
descrição e análise de sincronização, comunicação e
compartilhamento de recursos entre processos
concorrentes.
• Lugares (Passivos)
• Transições (Ativos)
• Fichas

3
• Objetivos
• Reduzir o tamanho dos modelos
• Permitir marcas individualizadas (representando
diferentes recursos)
• Tipos de Dados Complexos

4
• Múltiplos níveis de Detalhamento
• Transições Substitutas
• Superpages
• Subpages

5
• Locais sempre apresentaram o mesmo estado.
• Tipos de Fusão:
– Locais de Fusão (Fusion Places)
• Dois ou mais locais por conjunto.
– Transições Substitutas (Substitute Transitions)
• Uma transição representa toda uma parte da estrutura
da rede (Subrede).
• Apenas dois locais por fusão (por Porta e Socket).

6
• Definição:
– Conjunto de Locais onde, quando qualquer
elemento do grupo sofrer uma ação, todos os
outros também serão afetados.
• Limitações
– Todos os componentes devem possuir a mesma
cor.
– Portas e Sockets não podem participar de grupos
de fusão.

7
• Exemplo de Fusão

8
• Analogicamente semelhante a funções:
• Entrada
• Processamento Interno
• Saidas
– Reuso
• Instâncias de Páginas

9
• Exemplo de Transições Substitutas

10
• Superpage
– Página que contém uma transição substituta.
– Sockets
• Subpage
– Página que é representada por uma transição
substituta.
– Portas

11
• Exemplo: Superpage

12
• Exemplo: Subpage

13
• Sockets
– São os lugares vizinhos de uma transição
substituta.
– Incrições de arcos ligando sockets a Transições
Substitutas são ignoradas
• Portas
– São os locais de entrada e/ou saída de fichas de
uma subpage.
• In, Out e I/O
– Inscrição da marcação inicial ignorada

14
A topologia de rede em anel consiste em estações
conectadas através de um circuito fechado, em
série, formando um circuito fechado (anel).

15
 Estrutura

16
 Geração de Pacotes Aleatórios

17
 Envio de Pacotes

18
 Recepção de Pacotes

19
• Token
• Considera o meio de transmissão como região
crítica, onde apenas um dos nós terão permissão
para utilizá-lo.

20
• Token (Superpage - Network)

21
• Token (Subpage - Site)

22
• Token
• Função Send( bool, SITES, SITES, SITES )
fun Send( s:bool, re:SITES, se:SITES, t:SITES ) = (
not s andalso se<>re andalso t=se
)

• Função nextToHold( SITES )

fun nextToHold( s: SITES ) = (
if (s >= NoOfSites) then 1
else s + 1;
)

23
• Token

24