TRAVILOG: Modelli di calcolo