Petri nets, where causal dependencies are modelled via inhibitor arcs, called \emph{Causal nets}, are powerful enough to play the role of occurrence nets when representing the behaviour of a concurrent and distributed system, even when reversibility is considered. In this paper we extend Causal nets to account also for asymmetric conflicts and study (i) how these kind of nets, and their reversible versions, can be turned into a category; and (ii) their relation with the categories of reversible asymmetric event structures.

翻译：通过抑制弧建模因果依赖关系的Petri网（称为*因果网*）具有足够的能力，能够在表示并发与分布式系统行为时扮演发生网的角色，即使在考虑可逆性的情况下也是如此。本文扩展了因果网以处理非对称冲突，并研究了（i）这类网及其可逆版本如何构成一个范畴；以及（ii）它们与可逆非对称事件结构范畴之间的关系。