Application of supervisory control theory to theme park vehicles. - Stefan T. J. Forschelen; Joanna M. van de Mortel-Fronczak; Rong Su 001; Jacobus E. Rooda (Discret. Event Dyn. Syst., 2012)