Discrete Time Stochastic Petri Box Calculus with Immediate Multiactions dtsiPBC | Publicación