SPBC: a Markovian extension of finite Petri box calculus | Publicación