可动态重配置系统的可行模型：重写Petri网的Maude实现
计算机科学中的逻辑
2021-11-17 v1 符号计算
软件工程
摘要
Petri网（PN）是用于并发或分布式系统的核心且理论严谨的模型，但至少在其经典定义中，不足以表达动态重配置能力。另一方面，重写逻辑已被证明是若干并发/分布式系统形式化模型的天然语义框架。我们提出了一种紧凑、高效的动态可重配置PT网（带抑制弧）的Maude形式化，并以一个简单容错制造系统的规约作为运行示例。我们讨论了这种组合方法的优势，以及它引发的一些问题。
引用
@article{arxiv.2111.08205,
title = {A Maude Implementation of Rewritable Petri Nets: a Feasible Model for Dynamically Reconfigurable Systems},
author = {Lorenzo Capra},
journal= {arXiv preprint arXiv:2111.08205},
year = {2021}
}
备注
In Proceedings AppFM 2021, arXiv:2111.07538