反转位置转换网

@第{Melgratti2019条撤销PT，title={反向放置过渡网}，作者={Hern{\'a}n C.Melgratti和Claudio Antares Mezzina以及Irek Ulidowski，日志={ArXiv}，年份={2019}，体积={abs/1910.04266}，url={https://api.semanticscholar.org/CorpusID:204008117}}
编码中的颜色类似于可逆过程计算中典型的因果记忆，并且表明这种可逆行为可以表示为有限网络，其标记由因果历史着色。
[PDF]语义阅读器

本文中的数字

10引文

Petri网和事件结构的可逆透视

这项工作在可逆性的透镜下重新审视了Petri网和事件结构之间的标准连接，并引入了上下文Petri网的子集，称为可逆因果网，它精确地对应于可逆素数事件结构。

从反转Petri网到着色Petri网的形式化转换

除了解除对令牌唯一性的限制外，新的转换还提供了一种改进的方法，通过统一方法将RPN转换为CPN，该方法允许实例化三种类型的可逆性中的每一种。

可逆CCS的真正并发语义

本文应用最近提出的一种方法将因果一致可逆性合并到Petri网中，从而获得每个RCCS项的（可逆）网对应项。

个体标记解释下反向Petri网中的标记多重性

本文发展了该模型的因果语义，并通过在捕获各自RPN模型的可达部分的标记转换系统（LTS）之间建立一个等距映射，证明了具有多个标记的RPN与具有单个标记的RPN的表达能力等价。

可逆计算的公理方法

使用了一个通用的标记转换系统，该系统具有捕获转换是否独立的关系，引入了与因果一致可逆性相关的两个新概念，即因果安全性和因果活性，并证明了它们可以从一组公理中导出。

可逆计算的公理化理论

这项工作使用了一个通用的标记转换系统，该系统配备了一个捕获转换是否独立的关系，以探索各种可逆性属性之间的含义，并显示了它所考虑的所有属性是如何从一组公理导出的。

Maude中Erlang可逆语义的生成

这项工作提出了一种新的通用方法来从不可逆语义导出并发可逆语义，并使用通用回滚操作符扩展了框架，允许撤消远在过去的操作，包括所有且仅包括其结果。

关联可逆Petri网和可逆事件结构

CN也被扩展到解释非对称冲突，并研究如何将此类网络及其可逆版本转化为一个类别；以及它们与可逆非对称事件结构类别的关系。

可逆素数事件结构的分布式操作视图

给出了成熟模型的一个操作特征，并表明可逆素事件结构对应于上下文Petri网的一个子类，称为可逆因果网，它也能操作性地解释无序可逆性。

CCSK中的前向反向观测等效性

对前向-反向双相似性的概念进行了改进，表明它与前向倒刺同余的概念相一致，并给出了一组合理的公理，允许人们对过程等价性进行等式推理。

49参考文献

反向P/T网络

编码中的颜色类似于可逆过程计算中典型的因果记忆，并且表明这种可逆行为可以表示为有限网络，其标记由因果历史着色。

Petri网中的可逆计算与可逆性

Petri网中的可逆计算

本文通过引入机器和相关操作语义，提出了一种Petri网的可逆方法，以解决三种主要可逆形式的挑战，即回溯、因果反转和无序反转。

可逆计算的公理方法

使用了一个通用的标记转换系统，该系统具有捕获转换是否独立的关系，引入了与因果一致可逆性相关的两个新概念，即因果安全性和因果活性，并证明了它们可以从一组公理中导出。

彩色Petri网建模的逆向计算

本文提出了一种结构化方法，将可逆Petri网（RPN）转换为有色Petri网，后者是传统Petri网的扩展，其中标记携带数据值。

Petri网，事件结构和域，第一部分

反转无界Petri网

在Petri网中，计算是通过执行转换来执行的。给定转换b的效果反转是一种转换，当执行该转换时，会撤消b的效果。转换b是可逆的…

可逆性和并发模型

可逆计算的一个案例研究：并发程序的可逆调试

两种基于回溯的并发程序调试方法可以按照与执行相反的顺序撤消操作，另一种基于因果一致性的方法可以撤消任何操作，前提是事先考虑了其后果（如果有）。

一般Petri网的展开

本文展示了如何通过表示一般Petri网的出现网展开行为的对称性来恢复普遍表征，并表明这是具有对称性的一般Petri网和具有对称性的出现网的丰富类别之间的共同映射的一部分。