Cap 03 A1 Exercício

Prévia do material em texto

�
Exercício
	Disciplina
	Modelagem e Simulação de Processos
	Professor(es)
	Otacílio
	Assunto
	Capítulos 3 : Redes de Petri
	Exercício 1 : Construa a Rede de Petri equivalente à automação de um caixa bancário expresso abaixo:
	Condições do sistema (Posições)
	p1	- Caixa com cliente encontra-se à espera do serviço (em prontidão)
	p2	- Caixa encontra-se a espera da senha
	p3	- Caixa encontra-se em apresentação do menu de opções (saldo, saque ou extrato)
	p4	- Caixa em espera para data de extrato
	p5 	- caixa em espera do valor do saque
	p6	- caixa executando serviço
	Eventos do sistema (transições)
	t0	- Entrada do usuário no caixa
	t1	- Passagem do cartão magnético
	t2 	- Digitação da senha
	t3 	- Escolha da operação de menu Saldo
	t4 	- Escolha da operação de menu extrato
	t5	- Digitação da data de início do extrato 
	t6 	- Escolha da operação de menu
	t7	- Digitação do valor de saque
	t8	- Digitação do fim de operação
	Transição
	Conjunto pré-set
	Conjunto pós-set
	t0
	
	p1
	t1
	p1
	p2
	t2
	p2
	p3
	t3
	p3
	p6
	t4
	p3
	p4
	t5
	p4
	p6
	t6
	p3
	p5
	t7
	p5
	p6
	t8
	p6
	p1
	Exercício 2 : Execução de Rede Simples
	- Analise a rede abaixo, quais transições podem ser executadas e em que sequencia?
	- Como ficará a rede no disparo de cada transição?
	- Como ficariam os vetores m com as variáveis de estado após a execução de cada transição?
	Exercício 3 : Execução de Ree de Petri e avaliação dos estados m
	Analise a rede abaixo e responda as questões subsequentes.
	Considerando a marcação inicial, sinalize como ficará a execução da Rede de Petri
	
	P1	P2	P3	P4	P5
	Transições habilitadas
	Marcação Inicial
	1	0	0	2	1
	
	Exec t4
	
	
	Exec t1
	
	
	Exec t3