个体令牌解释下可逆 Petri 网中的令牌多重性
计算机科学中的逻辑
2022-09-07 v1
摘要
可逆 Petri 网（RPNs）近来被提出作为一种基于网的建模方法，用以刻画因果与超因果序的可逆性。其基于可通过键连接在一起的个体令牌概念。本文扩展 RPNs，基于 Petri 网的个体令牌解释允许同类型多个令牌存在于网中。依此解释，同类型令牌经由其因果路径加以区分。我们建立了该模型的因果语义，并通过在刻画相应 RPN 模型可达部分的标记转移系统（LTSs）间建立同构，证明含多令牌 RPNs 与含单令牌 RPNs 具有等价的表达能力。
引用
@article{arxiv.2209.02359,
title = {Token Multiplicity in Reversing Petri Nets Under the Individual Token Interpretation},
author = {Anna Philippou and Kyriaki Psara},
journal= {arXiv preprint arXiv:2209.02359},
year = {2022}
}
备注
In Proceedings EXPRESS/SOS 2022, arXiv:2208.14777