控制逆向 Petri 网中的可逆性及其在无线通信中的应用
计算机科学中的逻辑
2019-05-30 v1
摘要
Petri 网是一种用于对分布式系统行为进行建模和推理的形式化方法。最近，提出了一种针对 Petri 网的逆向方法，即逆向 Petri 网（RPN），允许迁移按因果顺序或逆因果顺序自发地逆向执行。在本工作中，我们提出了一种控制 RPN 动作逆向执行的方法，通过将迁移与条件相关联，条件的满足/违反分别允许迁移在正向/逆向方向上执行。我们通过一种用于分布式天线阵列中天线选择的新型分布式算法模型来说明该框架。
关键词
引用
@article{arxiv.1905.11958,
title = {Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications},
author = {Anna Philippou and Kyriaki Psara and Harun Siljak},
journal= {arXiv preprint arXiv:1905.11958},
year = {2019}
}
备注
RC 2019