Logo Passei Direto
Buscar

Redes_de_Petri_1-14

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.

Material
páginas com resultados encontrados.
páginas com resultados encontrados.

Escolha uma das opções e acesse esse e outros materiais sem bloqueio. 🤩

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>

Mais conteúdos dessa disciplina