Modeling and performance analysis of auto product warranty service process based on generalized stochastic Petri nets | IEEE Conference Publication | IEEE Xplore