A new synchronization in finite stochastic Petri box calculus | IEEE Conference Publication | IEEE Xplore