Petri 网中步可逆性的研究
形式语言与自动机理论
2023-06-22 v2 软件工程
摘要
在可逆计算中，人们关注于开发允许撤销已执行动作影响的机制。以往研究主要关注单一动作的逆转。本文中，我们考虑逆转一组动作（步）执行效果的问题。以 Petri 网作为系统模型，我们引入与这一新场景相关的概念，推广了单一动作情形中使用的概念。随后我们给出在允许 place/transition 网（pt-网）中进行逆动作时所涌现的性质。我们得到了正面与负面结果，表明允许步使得可逆性比交错/顺序情形更为棘手。特别地，我们证明了逆转作为集合的步与作为真正多重集的步之间存在关键差异。此外，与顺序语义不同，拆分逆（split reverses）并不能导出逆转有界 pt-网的一般方法。我们随后表明，通过将拆分逆与带权读弧相结合可获得合适的解决方案。
引用
@article{arxiv.2110.10535,
title = {Investigating Reversibility of Steps in Petri Nets},
author = {David de Frutos Escrig and Maciej Koutny and Łukasz Mikulski},
journal= {arXiv preprint arXiv:2110.10535},
year = {2023}
}
备注
special issue of PN 2019, after editor changes (Fundamenta Informaticae)