G.米歇尔·平纳-事件结构中依赖关系的一种新的操作表示

lmcs:6950个-计算机科学中的逻辑方法,2021年12月2日,第17卷第4期-https://doi.org/10.46298/lmcs-17(4:16)2021
事件结构中依赖关系的一种新的操作表示第条

作者:G.Michele PinnaORCID公司

    在复杂的分布式系统中执行事件,其中在系统演化过程中,依赖关系会发生变化,可以用许多方法,其中之一是使用上下文相关事件结构。事件结构与Petri网有关。本文的目的是提出可以是对应于上下文相关的适当类型的Petri网事件结构,为所表示的依赖关系提供操作风格在上下文/依赖事件结构中。依赖关系通常是操作性的在Petri网中,由活动产生的令牌表示,由其他。在这里,我们使用上下文弧来转换透视图到目前为止发生了什么,以这种方式描述各种活动。


    资料来源:arXiv.org:2012.00118
    第17卷第4期
    发布日期:2021年12月2日
    验收日期:2021年9月28日
    提交日期:2020年12月2日
    关键词:计算机科学-计算机科学中的逻辑,F.4.m,H.1

    咨询统计

    这个页面已经被浏览了1138次。
    本文的PDF已下载228次。