Research of collaborative process workflow modeling based on stochastic Petri nets | IEEE Conference Publication | IEEE Xplore