"A coalgebraic semantics for causality in Petri nets."

Roberto Bruni, Ugo Montanari, Matteo Sammartino (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics