Transcript
CENTRO DE ENSINO SUPERIOR FUCAPI – CESF
ENGENHARIA DA COMPUTAÇÃO
"Mas, não vos alegreis porque se vos sujeitem os espíritos; alegrai-vos
antes por estarem os vossos nomes escritos nos céus."
Jesus
de Nazaré
www.Facebook.com/vsegueme
www.twitter.com/vemesegueme30
Modelagem de um controle remoto de TV
MANAUS-AM
JUNHO / 2011
JOEL SARMENTO BARROS - 200810055
Modelagem de um controle remoto de TV
MANAUS-AM
JUNHO / 2011
1.- Objetivo
Modelar um controle remoto de uma televisão usando redes de Petri, com
as seguintes característica:
- Fazer as anotações
- Transição
- Ligar
- Escolher um dos dois tipos para representar dentro da quíntupla tudo
que vai acontecer no controle remoto.
- O modelo pode ser algébrico ou BAGS
- Fazer uma legenda
- Fazer as anotações
2.- Símbolos
-
-
-
"Mas, não vos alegreis porque se vos sujeitem os espíritos; alegrai-vos
antes por estarem os vossos nomes escritos nos céus."
Jesus
de Nazaré
www.Facebook.com/vsegueme
www.twitter.com/vemesegueme30
DIAGRAMA DO CONTROLE REMOTO COM REDES DE PETRI MODELO BAGS
3. BEGS
P={On/Off,Tipo,DVD,TV,Canais,+,-,Nº,Volume,+,Multe,-,Menu,+,-,Auto}
T={1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18}
I={I(1)=On/Off, I(2)=Tipo, I(3)=DVD, I(5)=TV, I(4)=Tipo, I(6)=TV,
I(7,8,9)=canais, I(10)=+,-,Nº, I(11,12,13)=Volume, I(14)=+,Multe,-,
I(15,16,17)=Menu, I(18)=+,-,Auto}
O={O(1)=Tipo,O(2)=DVD,O(3)=On/Off,O(4)=TV,O(5)=On/Off,O(6)=Canais,O(7)=+,O(8
)= -,O(9)=Nº,O(10)=Volume, 0(11)=+,O(12)=Multe,O(13)=-
,O(14)=Menu,O(15)=+,O(16)=-,O(17)=Auto,O(18)=TV}
4.- Legenda
Transições:
1 - Verifica o tipo (TV/DVD) atual.
2 - Seleciona a TV no modo DVD
3 – Sai do modo DVD e desliga TV
4 – Seleciona para modo TV
5 – Desliga TV
6 – Alteração de canal
7 – Troca os canais em ordem decrescente
8 – Troca os canais em ordem crescente
9 – Seleciona direto o canal digitando-o
10 –Controle de volume
11 - Aumenta o volume
12 – Coloca o volume na função mudo
13 – Diminui o volume
14 - Acessa o menu de configuração de ajustes
15 – Aumenta o brilho da imagem
16 – Diminui o brilho da imagem
17 – Ajusta automaticamente o brilho pessoal
18 – Retorna ao modo TV
"Mas, não vos alegreis porque se vos sujeitem os espíritos; alegrai-vos
antes por estarem os vossos nomes escritos nos céus."
Jesus
de Nazaré
www.Facebook.com/vsegueme
www.twitter.com/vemesegueme30
-----------------------
Trabalho realizado pela disciplina de Introdução a Teoria dos Autômatos,
ministrada pelo professor Davi, referente à 2ª nota parcial do 6º período
do curso de Engenharia da Computação.
8
9
6
4
2
3
1
MENU
-
+
MULTE
VOLUME
Nº
-
+
CANAIS
TV
DVD
TIPO
ON/OFF
7
10
10
10
13
12
11
14
14
14
Representam o lugar e são elementos passivos, dentro do sistema
Transição, e são elementos ativos do sistema.
Arcos.
5
17
16
15
18
18
18
Auto
-
+