Redes_de_Petri_1-9

Prévia do material em texto

<p>Controle de Processos por Computador Profa.Luiza de Macedo Mourelle 9</p><p>Considere a seguinte estrutura:</p><p>C = {P, T, I, O}</p><p>P = {p1, p2, p3, p4, p5}</p><p>T = {t1, t2, t3, t4}</p><p>I(t1) = {p1} O(t1) = {p2, p3, p5}</p><p>I(t2) = {p2, p3, p5} O(t2) = {p5}</p><p>I(t3) = {p3} O(t3) = {p4}</p><p>I(t4) = {p4} O(t4) = {p2, p3}</p><p>O grafo da rede de Petri tem dois tipos de nós: um círculo representa</p><p>um lugar e uma barra representa uma transição. Arcos direcionados</p><p>conectam lugares e transições.</p><p>Um arco direcionado de um lugar pi para uma transição tj define o lugar</p><p>como sendo uma entrada da transição.</p>