GSPN (Generalized Stochastic Petri Nets) based navigation behavior control of an indoor service robot | IEEE Conference Publication | IEEE Xplore