Reset Petri nets are a particular class of Petri nets where transition firings can remove all tokens from a place without checking if this place actually holds tokens or not. In this paper we look at partial order semantics of reset Petri nets. In particular, we propose a pomset bisimulation for comparing their concurrent behaviours. Building on this pomset bisimulation we then propose a generalization of the standard finite complete prefixes of unfolding for this class of Petri nets.

中文翻译：

---

重置 Petri 网的 Pomset 互模拟和展开

重置 Petri 网是特定类别的 Petri 网，其中转换触发可以从一个地方移除所有令牌，而无需检查该地方是否实际持有令牌。在本文中，我们研究了重置 Petri 网的偏序语义。特别是，我们提出了一个 pomset 双向模拟来比较它们的并发行为。在这个 pomset 互模拟的基础上，我们提出了对这类 Petri 网展开的标准有限完整前缀的推广。