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]

Authors

Roberto Bruni

This author has not been identified. Look up 'Roberto Bruni' in Google

Ugo Montanari

This author has not been identified. Look up 'Ugo Montanari' in Google

Matteo Sammartino

This author has not been identified. Look up 'Matteo Sammartino' in Google