Control Flow Analysis of Generalised Boolean Networks