将 Petri 网编码为 CCS
编程语言
2024-04-23 v1
摘要
本文探讨了哪些类Petri网可以编码为行为等价的CCS过程的问题。大多数现有文献关注相反问题（即将属于CCS家族的过程计算编码为Petri网），或扩展CCS以引入类似Petri网的多同步（Multi-CCS）。在本工作中，我们的主要关注对象是自由选择Petri网和工作流网（这些在过程矿业中广泛用于描述系统交互），我们的目标是纯粹的CCS。我们提出了几个新颖的编码，包括将由过程矿业算法（如alpha矿工）生成的自由选择工作流网编码为CCS过程，并证明了我们的编码产生的CCS过程与原始网具有弱 bisimilarity。除了贡献新的可表达性结果外，我们的编码还为将过程计算领域的分析和验证技术引入过程矿业领域打开了可能性。
关键词
引用
@article{arxiv.2404.14385,
title = {Encoding Petri Nets into CCS (Technical Report)},
author = {Benjamin Bogø and Andrea Burattin and Alceste Scalas},
journal= {arXiv preprint arXiv:2404.14385},
year = {2024}
}
备注
38 pages, 18 figures, extended version of paper to be published at COORDINATION 2024