埃尔南·梅尔格拉蒂;克劳迪奥·安塔雷斯·梅齐纳(Claudio Antares Mezzina);伊雷克·乌利多夫斯基-反转放置过渡网

lmcs:5831-计算机科学中的逻辑方法,2020年10月16日,第16卷第4期-https://doi.org/10.23638/LMCS-16(4:5)2020
反转放置过渡网第条

作者:埃尔南·梅尔格拉蒂;克劳迪奥·安塔雷斯·梅齐纳(Claudio Antares Mezzina);伊雷克·乌利多夫斯基

    Petri网是一个众所周知的并发模型,它提供了一个理想的设置用于研究并发系统的基本方面。尽管他们简单性,它们仍然缺乏令人满意的因果可逆语义。我们基于以下两个方面为Place/Transitions Petri网(P/T网)开发这种语义观察。首先,明确表达因果关系和冲突的网络在事件之间,例如发生网络,可以直接颠倒通过为每个正向转换添加反向转换。其次,给定P/T网络,标准展开结构与之相关保留其所有计算的事件网络。因此P/T网的可逆语义可以作为可逆语义获得它的展开。我们表明,这种可逆行为可以表示为其标记被因果历史着色的有限网。我们的颜色编码类似于可逆过程中典型的因果记忆计算。


    资料来源:arXiv.org:1910.04266
    第16卷第4期
    发布日期:2020年10月16日
    验收日期:2020年9月6日
    提交日期:2019年10月11日
    关键词:计算机科学-计算机科学中的逻辑、计算机科学-形式语言和自动机理论
    基金:
      来源:OpenAIRE Graph
    • 并发系统的因果调试; 资助者:法国国家研究局(ANR);代码:ANR-18-CE25-0007
    • 行为应用程序接口; 资助者:欧盟委员会;代码:778233

    咨询统计

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