异步Petri网中的同步性与因果性

给定一个同步系统，我们研究该系统的行为是否可以通过一个（非私有的）分布式因而也是异步实现来表现的问题。在本文中，我们通过反例表明，如果不引入无限实现或改变系统行为的因果结构，同步系统通常无法以异步方式实现。