Please enable JavaScript.
Coggle requires JavaScript to display documents.
Redes de Petri - Coggle Diagram
Redes de Petri
(P,T,F,W,Mo)
Mo: é m vetor cuja i-ésima coordenada define o número de marcas (tokens) na posição pi, no início da evolução da rede, isto é, a marcação inicial da rede
-
-
F: ⊂ (P x T)∪(T x P) é um conjunto finito de arcos contidos no conjunto (P x T)∪(T x P), em que (P x T) representa o conjunto dos arcos orientados de pi para tj também designados por (pi,tj), e (T x P) representa o conjunto dos arcos orientados de tj para ti ou (tj,pi)
-
-
-
pré-sets e pós-sets
Pré-set de t: = *t: = {∀ pi ∈ P F ∈ (pi,t)}
-
Pós-set de t: = t* : = {∀ pi ∈ P F ∈ (t, pi)}
-
Pré-set de p: = *p: = {∀ tj ∈ T F ∈ (tj,p)}
-
Pós-set de p: = p* : = {∀ tj ∈ T F ∈ (p,tj) }
-
Propriedades
• Limiração;
• Segurança;
• Conservação;
• Vivacidade;
• Impasse (deadlock);
• Alcançabilidade;
• Reversibilidade.
-