Situation-aware adaptation to optimise energy consumption in intelligent buildings using coloured Petri Nets | IEEE Conference Publication | IEEE Xplore