A Study on Group Buying of O2O Mode Using Generalized Stochastic Petri Nets | IEEE Conference Publication | IEEE Xplore