O que é o TryRdP?

      TryRdP é uma ferramenta web gratuita desenvolvida na Universidade Federal Rural de Pernambuco (UFRPE). É uma ferramenta interativa baseada em exemplos, que foi desenvolvida com o objetivo de ajudar os estudantes a compreenderem o funcionamento de um formalismo matemático chamado de rede de Petri. A ferramenta possui conteúdos didáticos e exercícios, permitindo que os alunos aprendam através de exemplos práticos com aplicações reais. O nome TryRdP é um nome composto, onde "Try" vem do inglês e tem aqui o sentido de "pôr em prática", enquanto RdP vem de rede de Petri.

      O conteúdo está dividido em três tópicos: Introdução, Modelagem Básica e Modelagem Avançada. Inicialmente são introduzidos os conceitos gerais de uma rede de Petri. Em seguida, são apresentados tipos de redes de Petri específicas como a rede de Petri estocástica. Cada tópico contém explicações dos tópicos abordados, bem como exemplos práticos usando o formalismo das RdP. Os exercícios podem ser de dois tipos: exercícios de "quebra-cabeça" e exercícios de modelagem. Os tipos de exercícios variam de acordo com o assunto. No entanto, o usuário apenas poderá passar de um tópico para outro (ex.: Introdução para Modelagem Básica) após responder os exercícios ao final de cada tópico. Além disso, o usuário terá que obter uma pontuação total mínima em cada tópico para poder passar para o próximo tópico. Ao final do último tópico, se o usuário obtiver a pontuação mínima, ele/ela receberá um certificado de conclusão. Veja as regras de pontuação apresentadas abaixo. Observação: o progresso ficará salvo indefinidamente na memória local do navegador até você clicar em "RESETAR PONTOS E VOLTAR AO INÍCIO" para apagar os dados.

Regras de Pontuação

      O usuário poderá fazer e errar os exercícios quantas vezes forem necessárias, até acertar a questão. Ou seja, o usuário não perderá pontos ao errar uma questão. No entanto, o usuário deixará de ganhar pontos ao pedir para ver a resposta da questão. Além disso, na última questão final de cada tópico haverá um botão com o seguinte título "Restaurar Pontos". Ao clicar nesse botão o usuário poderá restaurar os pontos que havia deixado de ganhar por ter visto as respostas das questões. Assim, o usuário poderá refazer as questões em que ele havia visto as resposta, de modo a obter uma pontuação mínima para passar de tópico caso não tenha conseguido antes.

  • Para todos os tópicos:
    • Exercícios de fixação valem 1 ponto cada.
    • Exercícios finais valem 2 pontos cada.
  • Regras para passar de tópico:
    • Para passar do tópico 1 para o tópico 2, o usuário terá que ter um total mínimo de 4 pontos e ter finalizado todos os exercícios finais.
    • Do tópico 2 para o tópico 3, o usuário terá que ter no mínimo um total de 16 pontos e ter finalizado todos os exercícios finais.
    • Ao final do tópico 3, o usuário deverá ter no mínimo um total de 25 pontos e ter completado todos os exercícios finais para receber o certificado.
  • Visão Geral do Conteúdo

  • 1-Introdução
    • 1.1 Introdução às Redes de Petri
    • 1.2 Elementos básicos (lugares, transições, arcos e tokens)
    • 1.3 Elementos básicos (exemplo 1)
    • 1.4 Elementos básicos (exemplo 2)
    • Exercício do tipo quebra-cabeça
      • Exercício de Fixação 1
      • Exercício de Fixação 2
    • 1.5 Funcionamento de uma rede de Petri (pré-condição, disparo e pós-condição)
    • 1.6 Funcionamento de uma Rede de Petri(pré-condição, disparo e pós-condição) - Exemplo
    • Exercício de Modelagem
      • Exercício de Fixação 3
    • Exercício Final 1
  • 2-Modelagem Básica
    • 2 Modelagem Básica
    • 2.1 Redes Elementares(Sequenciamento)
    • 2.2 Redes Elementares(Distribuição)
      • Exercício de Fixação 4
    • 2.3 Redes Elementares(Junção)
      • Exercício de Fixação 5
    • 2.4 Redes Elementares(Escolha Não-Determinística)
      • Exercício de Fixação 6
    • 2.5 Modelagem com Buffer
      • Exercício de Fixação 7
    • 2.6 Modelagem com Arco Inibidor
    • 2.7 Modelagem com Arco Inibidor(exemplo)
      • Exercício de Fixação 8
    • 2.8 Modelagem com Arcos Multivalorados
      • Exercício de Fixação 9
    • 2.9 Rede de Petri Estocástica
    • 2.10 Rede de Petri Estocástica (transição imediata e exemplo)
    • 2.11 Modelo de Fila e Exemplos
    • Exercício de Modelagem (arco inibidor e transição imediata)
      • Exercício de Fixação 10
      • Exercício de Fixação 11
      • Exercício de Fixação 12
      • Exercício de Fixação 13
    • 2.12 Disponibilidade
      • Exercício de Fixação 14
      • Exercício de Fixação 15
    • Exercício Final 2
    • Exercício Final 3
  • 3-Modelagem Avançada
    • 3 Modelagem Avançada
    • 3.1 Metricas
      • Exercício de Fixação 16
      • Exercício de Fixação 17
    • 3.2 Transição Imediata (Prioridade)
      • Exercício de Fixação 18
    • 3.3 Transição Imediata (Peso)
      • Exercício de Fixação 19
    • 3.4 Transição Imediata (Expressão de Guarda)
      • Exercício de Fixação 20
    • 3.5 Filas e Lei de Little
    • 3.6 Filas e Lei de Little (exemplos)
      • Exercício de Fixação 21
      • Exercício de Fixação 22
    • 3.7 Rede de Filas Aberta
      • Exercício de Fixação 23
    • 3.8 Modelos de Performace
      • Exercício de Fixação 24
    • 3.9 Modelos de Disponibilidade
      • Exercício de Fixação 25
    • 3.10 Modelos de Performabilidade
      • Exercício de Fixação 26
    • Exercício Final 4
    • Exercício Final 5
  •       Desenvolvedores:
            John W. S. de Lima
            Ermeson Andrade
            Taciana Pontual Falcão