反转放置过渡网第条
作者:埃尔南·梅尔格拉蒂;克劳迪奥·安塔雷斯·梅齐纳(Claudio Antares Mezzina);伊雷克·乌利多夫斯基
NULL##空##空
埃尔南·梅尔格拉蒂;克劳迪奥·安塔雷斯·梅齐纳(Claudio Antares Mezzina);伊雷克·乌利多夫斯基
Petri网是一个众所周知的并发模型,它提供了一个理想的设置用于研究并发系统的基本方面。尽管他们简单性,它们仍然缺乏令人满意的因果可逆语义。我们基于以下两个方面为Place/Transitions Petri网(P/T网)开发这种语义观察。首先,明确表达因果关系和冲突的网络在事件之间,例如发生网络,可以直接颠倒通过为每个正向转换添加反向转换。其次,给定P/T网络,标准展开结构与之相关保留其所有计算的事件网络。因此P/T网的可逆语义可以作为可逆语义获得它的展开。我们表明,这种可逆行为可以表示为其标记被因果历史着色的有限网。我们的颜色编码类似于可逆过程中典型的因果记忆计算。
第16卷第4期
发布日期:2020年10月16日
验收日期:2020年9月6日
提交日期:2019年10月11日
关键词:计算机科学-计算机科学中的逻辑、计算机科学-形式语言和自动机理论
基金: 来源:OpenAIRE Graph- 并发系统的因果调试; 资助者:法国国家研究局(ANR);代码:ANR-18-CE25-0007
- 行为应用程序接口; 资助者:欧盟委员会;代码:778233