论文标题
事件结构中依赖关系的新操作表示
A new operational representation of dependencies in Event Structures
论文作者
论文摘要
在复杂和分布式系统中执行事件，其中依赖项在系统演变过程中的变化可以通过多种方式表示，其中之一是使用与上下文有关的事件结构。事件结构与培养皿网。本文的目的是提出与与上下文依赖事件结构相对应的适当类型的培养皿网，从而为在上下文/依赖事件结构中所代表的依赖项赋予了操作风格。依赖性通常是由培养皿网中的操作代表，由活动产生并由其他人消耗的代币。在这里，我们使用上下文弧移动观点，以表征迄今为止发生的事情，并以这种方式描述各种活动之间的依赖关系。
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.
