paperbot · PL 论文追踪

全部论文 待读 收藏

P2 A new operational representation of dependencies in Event Structures

事件结构中依赖关系的一种新的操作式表示
LMCS vol.Volume 17, Issue 42021匹配度 1/10 · 论文属于并发理论/形式语义中事件结构与Petri网的表示问题,与用户关注的静态分析、LLM/Agent、浮点程序分析、贝叶斯程序分析均无直接关联。虽然形式化方法背景略有交集,但未涉及任何程序分析或LLM交叉方向。引用 1 inbox
G. Michele Pinna
crossref: 2026-09-10

AI 速览

一句话:为上下文相关事件结构提出相应的 Petri 网表示,用上下文弧操作式刻画依赖关系。

在依赖关系随系统演化而变化的复杂分布式系统中,事件的执行可用上下文相关事件结构建模,而事件结构与 Petri 网关系密切。该文研究如何为上下文相关事件结构找到合适的 Petri 网对应物,从而以操作式方式表示其中的依赖。传统 Petri 网通常用活动产生并被其他活动消费的 token 表示依赖;本文转变视角,采用上下文弧来刻画截至目前已经发生的事件,并据此描述各活动之间的依赖。通过这一构造,论文为上下文相关事件结构中的依赖提供了新的操作表示,并建立了其与 Petri 网语义之间的联系。摘要未报告实验评估。

问题
如何为依赖关系随系统演化而变化的上下文相关事件结构提供合适的 Petri 网对应,并操作式表示事件或活动之间的依赖。
方法
提出使用上下文弧而非传统 token 流来刻画已经发生的历史,并据此构造与上下文相关事件结构对应的 Petri 网模型。
评估
通过形式化构造及与上下文相关事件结构的对应关系进行概念性论证;摘要未给出实验或案例评估。
原文摘要(Abstract)

The execution of an event in a complex and distributed system where the dependencies vary during the evolution of the system can be represented in many ways, and one of them is to use Context-Dependent Event structures. Event structures are related to Petri nets. The aim of this paper is to propose what can be the appropriate kind of Petri net corresponding to Context-Dependent Event structures, giving an operational flavour to the dependencies represented in a Context/Dependent Event structure. Dependencies are often operationally represented, in Petri nets, by tokens produced by activities and consumed by others. Here we shift the perspective using contextual arcs to characterize what has happened so far and in this way to describe the dependencies among the various activities.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@article{paperbot1260,
  title = {A new operational representation of dependencies in Event Structures},
  author = {G. Michele Pinna},
  journal = {Logical Methods in Computer Science},
  volume = {Volume 17, Issue 4},
  year = {2021},
  doi = {10.46298/lmcs-17(4:16)2021}
}