(Timed Net Evaluation Tool) Carlos Julian Araújo cjma@cin.ufpe.br Gustavo Callou grac@cin.ufpe.br Orientador: Prof. Paulo Maciel prmm@cin.ufpe.br
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
Agenda Introduçãoas Redesde Petri Fundamentos Apresentação da Ferramenta TimeNET Modelagem Lista de Exercício 3 June 16, 2011
Apresentações Áreade pesquisa Atividades atuais Experiência com modelagem 4 June 16, 2011
AcessoaoMaterial O material do módulo está disponível para download www.cin.ufpe.br/~cjma 5 June 16, 2011
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
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
Fundamentos Exemplo: 8 June 16, 2011
Fundamentos Aproximaçãoporfases: 9 June 16, 2011
Fundamentos Aproximaçãoporfases: 10 June 16, 2011
Fundamentos Aproximaçãoporfases: 11 June 16, 2011
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
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
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
Interface 15 June 16, 2011
Interface 16 June 16, 2011
Menu 17 June 16, 2011
Botões Áreade comando Botões-Objeto 18 June 16, 2011
Selecionando opções de um objeto botãodireitodo mouse 19 June 16, 2011
Menu 20 June 16, 2011
Interface 21 June 16, 2011
22 June 16, 2011
23 June 16, 2011
24 June 16, 2011
25 June 16, 2011
26 June 16, 2011
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
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
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
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
Modelagem Métrica 31 June 16, 2011
Modelagem Exemplos 32 June 16, 2011
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
Próximomódulo Mercury Bruno Silva Data: 22/06/2011 34 June 16, 2011
Referências P. Maciel, R. Lins, P. Cunha. Introdução às Redes de Petri e Aplicações. Campinas -SP: Sociedade Brasileira de Computação, 1996. 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 210 211, 1995. TimeNET4.0 A Software Tool for the PerformabilityEvaluation with Stochastic and Colored Petri Nets, Zimmermann, A.; Knole Michael, Technische Universitat Berlin, 2007 35 June 16, 2011
36 June 16, 2011 Obrigado!