Il corso di Computer Systems Modeling and Semantic Web (tenuto in inglese) si prefigge lo scopo di fornire agli studenti i principi per la modellazione quantitativa dei sistemi basati su calcolatore e cenni sul semantic web.
La prima parte del corso, prevalente, affronta il processo della modellazione e formalismi quali le reti di code, le Generalized Stochastic Petri Nets (GSPN) e gli alberi dei guasti: sono previste attività di laboratorio con strumenti specifici.
La seconda parte presenta i concetti fondamentali del semantic web.

Testi consigliati
Edward D. Lazowska, John Zahorjan, G. Scott Graham, Kenneth C. Sevcik, "Quantitative System Performance: Computer System Analysis Using Queueing Network Models", Prentice-Hall
M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, G. Franceschinis, "Modelling with Generalized Stochastic Petri Nets", Wiley Series in Parallel Computing, John Wiley and Sons
Mor Harchol-Balter, "Introduction to probability for computing", Cambridge University Press