The Petri box calculus: a new causal algebra with multi-label communication (1992)

by E Best, R Devillers, J G Hall
Venue:Advances in Petri Nets, volume 609 of LNCS