sPBC: A Markovian Extension of Petri Box Calculus with Immediate Multiactions | Publicación