37013 Rede De Petri

Rede de Petri
Criada e apresentada por Carl Adam Petri em sua defesa de tese. Rede de Petri é uma ferramenta gráfica para análise de sistemas. Com os modelos em rede de
Petri, várias análises podem ser feitas, como: livelock, deadlock, inicialização etc. Rede de Petri
Componentes de um rede de
Petri:
P(1,2)- Place(lugar): representa um recurso, atividade, tarefa, etc.
T(1,2)-Transition(transição):
representa um evento do sistema. As setas que ligam as transições aos lugares, ou vice-versa, são chamadas de arcos, e podem ser de entrada ou de saída.
No gráfico ao lado, o peso de todos os arcos é igual a
1.

Rede de Petri
A bolinha dentro do
Place(lugar) é chamada de ficha e representa um estado do sistema.
Se no arco não houver nenhum número significa dizer que o peso do arco é igual a um.
Com o disparo de T1, uma ficha é retirada de P1, e uma ficha é inserida em P2, pois o peso dos arcos é igual a 1.

Rede de Petri
Logo, podemos dizer que uma RdP é um conjunto do tipo:
R = (P, T, AE, AS);
De onde,
P = {P1, P2};
T = {T1, T2};
AE = {P1xT1, P2xT2};
AS = {T2xP1, T1xP2}
Obs: o conjunto de fichas nos lugares é chamada de marcação. Exemplo: M = (1,0).

Rede de Petri
Com o disparo de
T1, indicando um evento, o sistema saiu de um certo estado, ficha em
P1, e foi para outro estado do sistema, ficha em P2.

Rede de Petri
Veja o exemplo ao lado. Nesse exemplo, T1 só irá disparar se tivermos uma ficha em P1 e uma ficha em P2. Esse modelo pode representar o que em um sistema? Observe também o que acontece nos dois exemplos.

Rede de Petri
Observem o exemplo ao lado.
Ocorrerá o disparo de T1 nas duas situações? Explique sua resposta. (E)

Rede de Petri
Observem o exemplo ao lado.
Este grafo representa um exemplo típico de conflito. Esse grafo pode representar qual situação em um escopo de um programa? (I/E)

Rede de Petri
Observem o exemplo ao lado.
Esse grafo pode representar qual situação? (P)

Rede de Petri
Observem a figura ao lado.
Esse grafo pode representar qual