Alumnat col·laborador de tipus A - curs 2024-25 - perfil de la plaça EPS026 - Escola Politècnica Superior

  • Facultat/Escola Universitària
  • Plaça
    • EPS026
  • Nom del/la tutor/a
  • Places disponibles
    • 1
  • Crèdits
    • 6
  • Per reconèixer
    • 6
  • Òrgan seleccionador
    • Tutor
  • Requisits
    • Millor si és un alumne de tercer o quart curs del grau d'Enginyeria Informàtica.
  • Tasques per fer
    • Les xarxes de Petri s’empren per modelitzar sistemes paral·lels o distribuïts, on es fan presents la concurrència i sincronització, ja que són representats d’una manera molt natural i intuïtiva. Aquestes xarxes descriuen les accions o els canvis d’estat del sistema mitjançant transicions, i els estats o condicions mitjançant llocs. El PIPEv2 és una eina de modelatge de xarxes de Petri amb un editor gràfic, i també de diferents mòduls d’anàlisi i simulació de xarxes de Petri. L’objectiu d’aquest projecte és actualitzar i introduir un conjunt d’elements de millora al PIPEv2.
  • Interès de l'activitat per a la formació de l'alumne/a
    • Aprendre a modelar sistemes informàtics emprant les xarxes de Petri, un formalisme que també permet l'avaluació del rendiment qualitatiu i quantitatiu de sistemes informàtics. Desenvolupament d'una eina real emprant Java.
  • Documentació que ha d'aportar l'alumne/a
    • Extracte acadèmic