事件结构中依赖关系的一种新的操作表示第条作者:G.Michele Pinna
0000-0001-8911-1580
G.米歇尔·平纳
在复杂的分布式系统中执行事件,其中在系统演化过程中,依赖关系会发生变化,可以用许多方法,其中之一是使用上下文相关事件结构。事件结构与Petri网有关。本文的目的是提出可以是对应于上下文相关的适当类型的Petri网事件结构,为所表示的依赖关系提供操作风格在上下文/依赖事件结构中。依赖关系通常是操作性的在Petri网中,由活动产生的令牌表示,由其他。在这里,我们使用上下文弧来转换透视图到目前为止发生了什么,以这种方式描述各种活动。
第17卷第4期
发布日期:2021年12月2日
验收日期:2021年9月28日
提交日期:2020年12月2日
关键词:计算机科学-计算机科学中的逻辑,F.4.m,H.1