[FR] Ceci est la version de TEST de DIAL.mem. Veuillez utiliser l'URL suivante pour déposer votre mémoire: 'https://thesis.dial.uclouvain.be'. [ENG] This is the TEST version of DIAL.mem. Please use the following URL to submit your master thesis: 'https://thesis.dial.uclouvain.be'.
 
Loading...
Thumbnail Image

A study program verificator based on petri nets

(2015)

Files

Colson_50391000_2015_Annexe1.pdf
  • Open access
  • Adobe PDF
  • 615.59 KB

Colson_50391000_2015_Annexe2.zip
  • Open access
  • Unknown
  • 12.28 MB

Colson_50391000_2015.pdf
  • Open access
  • Adobe PDF
  • 1.29 MB

errata_ColsonO.pdf
  • Open access
  • Adobe PDF
  • 83.66 KB

Details

Supervisors
Faculty
Degree label
Abstract
One of the key periods of the academic year consists of the moment the students select the courses they will follow. Indeed, this choice determines the entire year of the student, and it is hence very important for it to be carefully checked before being accepted. For this, the current system relies on the program commission members, responsible to manually check each of the proposals, and dialog with the student submitting it if anything seems unclear or wrong into it. Furthermore, the program commission is also responsible to manage “irregular” cases that could arise, for example with exchange students, as mapping needs to be done between the courses they have followed abroad and their equivalent, say, at UCL. This document presents a web application to integrate in a pre-existing university computer infrastructure in order to ease the dialog between the students and the commission. This application also introduces an automatic study program verification tool, performed using Petri Nets structures. We precisely define here how and why this tool has been implemented, and how it eases the communication between students and the commission.