Control architecture design of a multi-functional service robot using the GSPN (Generalized-Stochastic Petri-Nets) | IEEE Conference Publication | IEEE Xplore