Universidade Federal de Santa Catarina

Centro Tecnológico de Joinville

Departamento de Engenharias da Mobilidade
EMB5113 – Modelagem de Sistemas

Tarefa 3 – Modelagem de Sistemas com Autômatos Finitos

A lista deve ser resolvida e submetida no Moodle em formato .pdf. Você pode utilizar
este arquivo ou produzir outro em um editor de sua escolha, mas não esqueçam de
salvar o .pdf. Não tem problema produzir os autômatos a mão e tirar fotos, mas por
favor cuidem para ficar bem legível. Esta tarefa terá avaliação parcial nas questões.
1. Suponha um sistema composto por duas máquinas, um sistema de teste e dois
armazéns com capacidade para duas peças cada um, conforme a figura abaixo:

a) Construa autômatos que representam o funcionamento de M1, M2 e ST (sistema

de teste). Os eventos envolvidos estão na figura. As peças consideradas boas no
ST são retiradas da linha de produção e as com defeito voltam ao primeiro
armazém para serem retrabalhadas.

b) Construa autômatos para as restrições que impedem o overflow e underflow nos

armazéns. Faça um autômato para cada armazém.

2. Suponha um sistema composto por duas máquinas, um AGV e uma esteira,

conforme figura abaixo:

Esteira

Sabendo que o AGV faz o transporte das peças entre as máquinas e para a
esteira, e ele só leva as peças para o lado direito encontre os autômatos que modelam
os seguintes subsistemas:

a) Máquinas M1, M2 e o AGV. Os eventos envolvidos estão na figura. No

comportamento livre do sistema as peças podem ir para esteira a partir de
qualquer máquina.

b) Construa um autômato para a restrição que garanta que as peças serão

processadas na ordem M1M2.
 Universidade Federal de Santa Catarina
Centro Tecnológico de Joinville
Departamento de Engenharias da Mobilidade
EMB5113 – Modelagem de Sistemas

3. Considere um sistema com dois agentes compartilhando um único recurso. Cada

agente tem um comportamento cíclico definido por: o agente j solicita recurso
(evento aj), agente j usa recurso (evento bj), agente j devolve recurso (evento cj).
Com base nesta definição faça:

a) Construa autômatos que representem o comportamento individual irrestrito de

cada agente. Indique que operação permite encontrar a planta livre.

b) Construa autômatos que representam as seguintes restrições de coordenação:

i. Respeito à ordem de solicitação, no caso dos dois agentes solicitarem o
recurso;
ii. Priorização do agente 2 no caso dos dois agentes solicitarem o recurso.

4. Considere a linha de transferência industrial da figura abaixo:

M1 B1 M2

B3 M5 B4 M6
M3 B2 M4

O sistema é composto de seis máquinas: M1, M2, M3, M4, M5 e M6. A operação
de cada máquina pode ser descrito através de dois eventos: início de operação (com
retirada de peça do buffer, quando existir ligação) e término de operação (com depósito
da peça em buffer, quando existir ligação. As máquinas podem ser modeladas através
de autômatos como o da figura a seguir:

Sendo o evento de início de operação representado pelo símbolo 𝑎𝑖 , 𝑜𝑛𝑑𝑒 𝑖 =

1,2, … 6 (as seis máquinas) e o término de operação 𝑏𝑖 , 𝑜𝑛𝑑𝑒 𝑖 = 1,2, … 6 (as seis
máquinas), construa especificações que garantam o não overflow e underflow nos
buffers B1, B2, B3 e B4, sabendo que a capacidade dos buffers B1, B2 e B4 é de tamanho
1, ou seja, comporta apenas uma peça, e do buffer B3 é de tamanho 3 (comporta 3
peças). Faça uma especificação para cada buffer.