Reo连接件与Petri网的综合结构与语义
计算机科学中的逻辑
2009-12-01 v1
摘要
在本文中，我们提出了Reo连接件与Petri网的综合结构和行为模型，允许对这两种并发模型进行直接比较。为此，我们引入了连接件的概念，它由若干互连的、具有固定行为的用户定义原语组成。虽然连接件的结构类似于超图，但其语义是通过所谓的端口自动机给出的。我们在范畴论环境中定义了这两个模型，其中组合操作可以被优雅地定义和整合。具体来说，我们将连接件的结构粘合形式化为推出，将端口自动机的连接形式化为拉回。然后，我们定义了一个从连接件到端口自动机范畴的语义函子，该函子保持了这种组合。我们进一步展示了如何将Reo连接件和Petri网编码到该模型中，并指出了在使用双推出图变换建模的动态重构中的应用。
引用
@article{arxiv.0911.5447,
title = {Integrated Structure and Semantics for Reo Connectors and Petri Nets},
author = {Christian Krause},
journal= {arXiv preprint arXiv:0911.5447},
year = {2009}
}