Obviously, since times are base-60 and >decimal numbers are base 10...
$begin='9.15';
$finish='12.00';
$begin=explode('.',$begin);
$finish=explode('.',$finish);
$duration = date("H:i", (mktime($finish[0],$finish[1],0,0,0,0)-mktime($begin[0],$begin[1],0,0,0,0));
echo $duration;
This could easy be altered to contain days,months,years.
DaGeek 🙂