Please enable JavaScript.
Coggle requires JavaScript to display documents.
Redes Petri - Coggle Diagram
Redes Petri
-
Composição
Lugares
Representados por círculos e estão associados a condições que devem ser satisfeitas para que as transições possam ocorrer.
-
- A conexão entre os dois nós é feita através de arcos, que podem partir de um lugar para uma transição ou de uma transição para um lugar.
-
Dinâmica
Marcação
- Uma rede Petri marcada é definida como uma quíntupla N = (P, T, A, w, x0), em que (P, T, A, w) é um grafo do Petri, e x0 é a marcação inicial do conjunto de lugares, definido como x = [x(p1) x(p2).... x(pn)], sendo n o número de lugares da rede de Petri
Habilitação
- Para que uma transição seja habilitada, é necessário que as condições associadas aos seus lugares de entrada sejam atendidas.
- As condições dependem do tipo de ficha presentes em cada um dos lugares de entrada e do peso dos arcos que conectam esses lugares de entrada à transição.
Disparo
- A transição pode ser disparada se, e somente se, estiver habilitada.
- A transição habilitada não necessariamente esta disparada.
- Quando se dispara uma transição, retira-se um número de fichas de cada um dos lugares de entrada dessa transição e adiciona-se um número de fichas, aos lugares de saída.
Tipos de Arcos
Simples e Ponderado
- Arcos simples são mais comuns e representados por uma seta cheia.
- Arcos ponderados representam dois ou mais arcos. O peso indica quantos arcos estão sendo representados.
- Simples:
- Ponderado:
Habilitador e Inibidor
- Arcos Habilitadores são representados por arcos cujo fim possui uma seta vazia.
- Parte sempre de um lugar para uma transição.
- Arcos inibidores são representados por arcos cujo fim possui um círculo vazia.
- Parte sempre de um lugar para uma transição
- Habilitador:
- Inibidor:
Tamanho do Código Ladder
- O código Ladder pode ser obtido através da Rede Petri a partir da seguinte equação: 1 + l + 2n + m
- 1 representa o número de rungs do módulo de inicialização.
- l é o número de rungs do módulo de eventos.
- n é o número de rungs do módulo dinâmico da rede Petri
- m é o número de lugares da rede Petri, e m* é o número de rungs do módulo de ação (sempre menor do que m).