论文标题
在单个令牌解释下逆转培养皿网时的代币多重性
Token Multiplicity in Reversing Petri Nets Under the Individual Token Interpretation
论文作者
论文摘要
逆转培养皿（RPN）最近被提议作为模型因果关系和因果秩序可逆性的基于网络。它们基于可以通过键将其连接在一起的个别令牌的概念。在本文中，我们通过基于彼得里网络的单个令牌解释来允许在网络中存在相同类型的多种令牌来扩展RPN。根据这种解释，相同类型的令牌是通过其因果路径区分的。我们开发了该模型的因果语义，并证明具有多个令牌的RPN的表达能力相当于带有单个令牌的RPN，通过在捕获相应RPN模型的可触发部分的标签过渡系统（LTSS）之间建立异症。
Reversing Petri nets (RPNs) have recently been proposed as a net-basedapproach to model causal and out-of-causal order reversibility. They are based on the notion of individual tokens that can be connected together via bonds. In this paper we extend RPNs by allowing multiple tokens of the same type to exist within a net based on the individual token interpretation of Petri nets. According to this interpretation, tokens of the same type are distinguished via their causal path. We develop a causal semantics of the model and we prove that the expressive power of RPNs with multiple tokens is equivalent to that of RPNs with single tokens by establishing an isomporphism between the Labelled Transition Systems (LTSs) capturing the reachable parts of the respective RPN models.
