Dec, 2023

可逆透视下的 Petri 网和事件结构

TL;DR事件结构在并发计算中扮演重要角色,最近将其扩展到可逆性处理,研究了可逆事件结构与 Petri 网之间的联系,引入了可逆因果网络,并从操作层面解释了可逆主事件结构的完整模型。