TimeNET(Timed Net Evaluation Tool)

Transcrição

1 (Timed Net Evaluation Tool) Carlos Julian Araújo Gustavo Callou Orientador: Prof. Paulo Maciel

2 Programação Data: 15 de Junho2011 Local: Laboratório G1 Manhã(8:30 11:30) Introdução RdP, Ferramenta, exercícios com o instrutor Intervalo-Almoço(11:30 13:30) Tarde(13:30 16:30) Resolução de lista de exercícios 2 June 16, 2011

3 Agenda Introduçãoas Redesde Petri Fundamentos Apresentação da Ferramenta TimeNET Modelagem Lista de Exercício 3 June 16, 2011

4 Apresentações Áreade pesquisa Atividades atuais Experiência com modelagem 4 June 16, 2011

5 AcessoaoMaterial O material do módulo está disponível para download 5 June 16, 2011

6 Introdução Redes de Petri Carl Adam Petri 1962 (Comunicação com Autômatos, Alemanha). É uma técnica de especificação formal para modelagem de sistemas concorrentes, assíncronos, distribuídos, paralelos e estocásticos. Aplicabilidade em diversas áreas, indo desde as ciências da computação, até as áreas de administração de empresas e às biológicas. 6 June 16, 2011

7 Fundamentos Extensão Tempo Intervalo Determinístico Estocástico Elementos Visuais Lugar Transição Arco Token Transição Estocástica Arco Inibidor 7 June 16, 2011

8 Fundamentos Exemplo: 8 June 16, 2011

9 Fundamentos Aproximaçãoporfases: 9 June 16, 2011

10 Fundamentos Aproximaçãoporfases: 10 June 16, 2011

11 Fundamentos Aproximaçãoporfases: 11 June 16, 2011

12 TimeNET é uma extensão da ferramenta DSPNexpress DSPNexpress foi desenvolvida com influências da ferramenta GreatSPN A últimaversãodo TimeNETfoilançadaem2007 sendo completamente reescrita em JAVA. Versão4.0 ~#50 estudates de mestrado e doutorado 12 June 16, 2011

13 TimeNET Timed Net Evaluation Tool É um conjuntode ferramentasparamodelageme avaliaçãode redesde Petri estocásticacom disparode transições com distribuição não exponencial TimeNETfoidevenvolvidopelaTechinischeUniversitatBerlin com vários projetos de pesquisa 13 June 16, 2011

14 A ferramenta prover uma interface gráfica e interativa para modelagem redesde Petri estocásticae redesde Petri colorida É possívelrealizaranálisesde performabilidadee dependabilidade Performabilidade é a composição de métricas de desempenho do sistema com dependabilidade 14 June 16, 2011

15 Interface 15 June 16, 2011

16 Interface 16 June 16, 2011

17 Menu 17 June 16, 2011

18 Botões Áreade comando Botões-Objeto 18 June 16, 2011

19 Selecionando opções de um objeto botãodireitodo mouse 19 June 16, 2011

20 Menu 20 June 16, 2011

21 Interface 21 June 16, 2011

22 22 June 16, 2011

23 23 June 16, 2011

24 24 June 16, 2011

25 25 June 16, 2011

26 26 June 16, 2011

27 AUX Contém algumas informações auxiliares da avaliação Método, nomedo modelo, tipoda análise, etc Curves Contém osdados da métricaapósanálise DEFINFO Contém informação sobre propriedades estrutural do modelo Marcaçãode dependência, funçãode habilitaçãodas transições, peso da transição, etc. 27 June 16, 2011

28 ECS Descreveo conjuntode conflitosdo modelo ese Apresentao espaçode estadosestimado EXPRESULTS Contém a lista de resultados do experimento INV Contémoslugaresinvariantesdo modelo pid Apresentaa listade processosqueforamusadospara avaliar o modelo 28 June 16, 2011

29 pmf Apresentao tempo de todasas transições RESULTS Lista detalhada dos resultados das métricas rrg Apresentao grafode alcançabilidadedo modelo na forma binária Siphons apresentaossiphons do modelo 29 June 16, 2011

30 STAT_OUT apresenta os resultados estatístico após uma análise ou simulação STRUCT apresenta informações estruturais tmark apresenta o número de marcações alcancáveis TN modelono formado.tn Traps apresentaostraps do modelo 30 June 16, 2011

31 Modelagem Métrica 31 June 16, 2011

32 Modelagem Exemplos 32 June 16, 2011

33 Listade Exercício Após os exercícios realizados com o instrutor, os alunos deverão modelar os exemplos citados na lista 33 June 16, 2011

34 Próximomódulo Mercury Bruno Silva Data: 22/06/ June 16, 2011

35 Referências P. Maciel, R. Lins, P. Cunha. Introdução às Redes de Petri e Aplicações. Campinas -SP: Sociedade Brasileira de Computação, Kelling, C.; German, R.; Zimmermann, A.; Hommel, G.;,"TimeNET: evaluation tool for non- MarkovianstochasticPetri nets," Computer Performance anddependabilitysymposium, 1996., Proceedings of IEEE International, vol., no., pp.62, 4-6 Sep 1996 R. German, C. Kelling, A. Zimmermann, and G. Hommel. TimeNET-a toolkit for evaluating non- Markovian stochastic Petrinets. In Petri Nets and Performance Models, 1995., Proceedings of the Sixth International Workshop on, pages , TimeNET4.0 A Software Tool for the PerformabilityEvaluation with Stochastic and Colored Petri Nets, Zimmermann, A.; Knole Michael, Technische Universitat Berlin, June 16, 2011

36 36 June 16, 2011 Obrigado!