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.

ATIVIDADE 3 – MODELAGEM DE
SISTEMAS AUTOMATIZADOS