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.
- Exercícios de fixação valem 1 ponto cada.
- Exercícios finais valem 2 pontos cada.
- 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.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.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.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