Please enable JavaScript.
Coggle requires JavaScript to display documents.
REDES DE PETRI - Coggle Diagram
REDES DE PETRI
-
Definição: é uma quintupla R=(P, T, A, w, x)
- P: é o conjunto finito de lugares
- T: é o conjunto de transições
- A: é o conjunto de arcos que conecta os lugares e transições.
- w: é a função de ponderação.
-
Estruturas Especiais
- Ordinária: quando todos os arcos são simpes
- Segura: quando o número máximo de fichas é 1 em todos os estados alcançáveis.
- Pura: quando não tem um laço-próprio.
- Generalizado: quando há pelo menos um peso maior que 1 nos arcos da rede.
Tipos de Arco
- Simples: representados por uma seta cheia e podem partir de um lugar para um transição ou vice-versa.
- Ponderado: representa dois ou mais arcos, seu peso indica quantos arcos estão representados.
- Habilitador: representado por uma seta vazia, sempre parte de um lugar para uma transição.
- Inibidor: possui um fim vazio e parte sempre de um lugar para um transição.
Disparo
- A transição só pode ser disparada depois de habilitada
- A transição habilitada não precisa necessariamente ser disparada
- Quando se dispara uma transição, retira-se um número de fichas de cada lugar de entrada e estas são adicionadas as saídas.
-
Habilitação
- Para que uma condição seja habilitada é necessário que as condições ligadas as entradas sejam atendidas.
- As condições dependem do tipo de ficha nesses lugares e peso dos arcos que conectam a entrada na transição
