Petri nets form a concurrent model for distributed and asynchronous systems. They are capable of modeling information flow in a closed system, but are generally not suitable for the study of compositionality. We address the issue of Petri net compositionality by introducing extensional Petri nets. In an extensional Petri net some places are external while others are internal. Every external place is labeled by a distinguished interface name. When composing two extensional Petri nets two places with a same label are coerced. An external place can be turned into an internal place by applying localization operator. The paper takes a look at bisimulation semantics and observational properties of the extensional Petri nets.

中文翻译：

---

外延 Petri 网

Petri 网形成了分布式和异步系统的并发模型。它们能够对封闭系统中的信息流进行建模，但通常不适合组合性研究。我们通过引入扩展 Petri 网来解决 Petri 网组合性问题。在外延 Petri 网中，有些地方是外部的，而有些地方是内部的。每个外部位置都由一个可分辨的接口名称标记。当组成两个扩展 Petri 网时，两个具有相同标签的地方被强制转换。通过应用本地化算子，可以将外部场所变为内部场所。该论文着眼于扩展 Petri 网的互模拟语义和观察特性。