Logo Passei Direto
Buscar
Material
páginas com resultados encontrados.
páginas com resultados encontrados.
left-side-bubbles-backgroundright-side-bubbles-background

Crie sua conta grátis para liberar esse material. 🤩

Já tem uma conta?

Ao continuar, você aceita os Termos de Uso e Política de Privacidade

Prévia do material em texto

<p>Modelagem e Simulação de Sistemas Computacionais</p><p>Profa. Graça Bressan</p><p>© LARC-PCS/EPUSP 2002 22</p><p>6 Bibliografia</p><p>[1] Cassandras, C. G., ”Discrete Event Systems: Modeling and Performance Analysis”,</p><p>Aksen Associates Incorporated Publishers, 1993 , ISBN: 0-256-11212-6, 790p.</p><p>[2] Marsan, M. A., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G., “Modeling</p><p>with Generalized Stochastic Petri Nets”, John Wiley & Sons, ISBN: 0-471-93059-</p><p>8, 1995, 301p.</p><p>7 Exercícios</p><p>1) Dada a seguinte rede de Petri:</p><p>a) Construa a árvore de alcançabilidade da rede de Petri.</p><p>b) Verifique pela árvore de alcançabilidade se a marcação (1,1,0,1) é alcançável a</p><p>partir de (1,1,0,0).</p><p>c) Obtenha através de cálculo de matrizes, os invariantes da rede de Petri.</p><p>d) Verifique se a marcação (1,1,0,1) é alcançável a partir (1,1,0,0) através da matriz</p><p>B de invariantes.</p><p>e) Verifique as propriedades de limitação e de conservação da rede de Petri.</p><p>f) Existe alguma marcação que seja um deadlock alcançável nesta rede?</p><p>p4 t3</p><p>p3</p><p>t1</p><p>t2</p><p>p1</p><p>p2</p>

Mais conteúdos dessa disciplina