Efficient Liveness Assessment for a Class of States in Open , Irreversible , Dynamically Routed , Zone-Controlled Guidepath-based Transport Systems