ATIVIDADE 3 - MODELAGEM DE SISTEMAS

AUTOMATIZADOS - 54/2023

Como engenheiro, foi-lhe designado o dever de modelar um sistema de seleção de temperatura

de um processo em Redes de Petri. O funcionamento deve ser o seguinte:
- A modelagem deve consistir somente na leitura e seleção do sinal de temperatura dos
sensores;
- Serão dois sensores apenas, e não importa o valor de leitura dos sensores, uma vez que será
modelada apenas a seleção de qual dos sensores enviará o sinal para o processo.
- A etapa 1 iniciará populada e deverá ser novamente populada ao final de cada ciclo de
seleção.
- Caso um dos dois seja selecionado, deve ocorrer a transição referente ao sinal selecionado.
- Ao fim da transição do sensor selecionado, uma etapa única será selecionada, sendo esta a
última do ciclo de seleção.
 - Não há a hipótese dos dois sensores serem selecionados ao mesmo tempo, e não é
necessário que a seleção dos sensores se mantenha ativa.