redes de petri 1 ° exercício
DESCRIPTION
Redes de Petri 1 ° Exercício. Modele dois processos concorrentes entre si. Cada processo é cíclico e compostos por apenas três atividades. Estes processos compartilham entre si dois recursos. Um modelo em redes de Petri para este problema é apresentado no próximo slide. - PowerPoint PPT PresentationTRANSCRIPT
Redes de PetriRedes de Petri11° Exercício ° Exercício
Modele dois processos concorrentes Modele dois processos concorrentes entre si. entre si.
Cada processo é cíclico e compostos por Cada processo é cíclico e compostos por apenas três atividades.apenas três atividades.
Estes processos compartilham entre si Estes processos compartilham entre si dois recursos.dois recursos.
Um modelo em redes de Petri para este Um modelo em redes de Petri para este problema é apresentado no próximo problema é apresentado no próximo slideslide..
Redes de PetriRedes de Petri 11° Exercício° Exercício
Para as redes mostradas no proximo Para as redes mostradas no proximo slideslide analisem as seguintes propriedades:analisem as seguintes propriedades:– BoundednessBoundedness– Deadlock freedomDeadlock freedom– LivenessLiveness– ReversibilidadeReversibilidade– ConservaçãoConservação• Como os modelos são de pequenas dimensões, Como os modelos são de pequenas dimensões,
sugiro o seguinte:sugiro o seguinte: 1.1. Inicialmente, de maneira informal (simulação exaustiva), Inicialmente, de maneira informal (simulação exaustiva),
vocês devem analisar a existência das propriedades.vocês devem analisar a existência das propriedades.2.2. Após isto, utilizando a ferramenta INA, vocês devem Após isto, utilizando a ferramenta INA, vocês devem
fazer a análise formal de maneira automática.fazer a análise formal de maneira automática.3.3. Comparem ambos os resultados.Comparem ambos os resultados.
Redes de PetriRedes de Petri 11° Exercício° Exercício
N1N1 N2N2
Redes de PetriRedes de Petri 11° Exercício° Exercício
N3N3 N4N4
p0
p1
t0
t1
t3p2
p3t2
p0
p2
t0
p3
t2
p1
t1 t3
t4
Redes de PetriRedes de Petri 22° Exercício° Exercício
MAKE_A = (makeA->ready->used->MAKE_A).MAKE_B = (makeB->ready->used->MAKE_B).ASSEMBLE = (ready->assemble->used->ASSEMBLE).
||FACTORY = (MAKE_A || MAKE_B || ASSEMBLE).
Para a rede de Petri obtida para o modelo FSP se-guinte e mostrada no proximo slide, analise as mes-mas propriedades do 1ºexercício.
makeA
ready
makeB
used
assemble
MakeA MakeB Assemble
Redes de PetriRedes de Petri 22° Exercício - Solução° Exercício - Solução
Jantar dos FilósofosJantar dos Filósofos 33° Exercício ° Exercício
Analise as propriedades referidas no 1ºExercício para a rede de Petri dos filósofos.
A rede é mostrada no slide seguinte.
0
1
23
40
1
2
3
4
Jantar dos FilósofosJantar dos Filósofos 33° Exercício - Solução° Exercício - Solução
pensando pensando
pensando
com fome com fome
com fome
comendo comendo
comendo
começacomer
começacomer
começacomer
começapensar
começapensar
começapensar
começa ter fome
começa ter fome
começa ter fome
Filósofo 1
Filósofo 2
Filósofo 3
garfo 1
garfo 2
garfo 3