A coalgebraic semantics for causality in Petri nets

Roberto Bruni, Ugo Montanari, Matteo Sammartino. A coalgebraic semantics for causality in Petri nets. Journal of Logic and Algebraic Programming, 84(6):853-883, 2015. [doi]

Abstract

Abstract is missing.