In this paper, we propose a compositional approach to construct formal models of complex distributed systems with several synchronously and asynchronously interacting components. A system model is obtained from a composition of individual component models according to requirements on their interaction. We represent component behavior using workflow nets - a class of Petri nets. We propose a general approach to model and compose synchronously and asynchronously interacting workflow nets. Through the use of Petri net morphisms and their properties, we prove that this composition of workflow nets preserves component correctness.

中文翻译：

---

同步和异步交互工作流网络组件的稳健性组合

在本文中，我们提出了一种组合方法来构建具有多个同步和异步交互组件的复杂分布式系统的形式模型。系统模型是根据各个组件模型的交互要求从各个组件模型的组合中获得的。我们使用工作流网（一类 Petri 网）表示组件行为。我们提出了一种通用方法来建模和组合同步和异步交互工作流网络。通过使用 Petri 网态射及其属性，我们证明了工作流网的这种组合保持了组件的正确性。