Slide da disciplina Controle de Processos por Computador (Profa. Luiza de Macedo Mourelle) sobre redes de Petri: descreve que o disparo de uma transição transforma a marcação µ em µ', que os disparos continuam enquanto existir transição habilitada e que a execução para caso contrário.
Cadastre-se ou realize login
Ao continuar, você aceita os Termos de Uso e Política de Privacidade
Prévia do material em texto
<p>Controle de Processos por Computador Profa.Luiza de Macedo Mourelle 14</p><p>O disparo de uma transição muda a marcação µ da rede de Petri para</p><p>uma nova marcação µ’.</p><p>O disparo de transições continua enquanto existir, pelo menos, uma</p><p>transição habilitada. Quando não há transições habilitadas, a execução</p><p>para.</p><p>● ●</p><p>● ●</p><p>2</p><p>3 2</p><p>●</p><p>●</p><p>2</p><p>3 2</p><p>● ●</p><p>● ● ●</p><p>após o disparo</p>