Coordination of Multiple Control Schemes for Mobile Robot Navigation on the Basis of the Generalized Stochastic Petri-Nets.