Causal nets (CNs) are Petri nets where causal dependencies are modelled via inhibitor arcs. They 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 CNs to account also for asymmetric conflicts and study (i) how this 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.

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