This paper proposes a selection framework of multiple navigation primitives for a service robot using Generalized Stochastic Petri Nets (GSPN's). By adopting probabilistic approach, our framework helps the robot to select the most desirable navigation primitive in run time through the performance estimation according to environmental conditions. Moreover, after a mission, the robot evaluates prior navigation performance from accumulated data, and uses the results for the improvement of future operations. Modeling, analysis, and performance evaluation are conducted on firm mathematical foundation. Also, GSPN's have several advantages over classic automata or direct use of Markov Process. We conducted simulations of the model derived from our experience of practical installations. The results showed that the framework is useful for primitive selection and performance analysis.