https://123dok.org/document/oz1jl8pz-a-coalgebraic-semantics-for-causality-in-petri-nets.html