量子科技中心_量科网

经典Petri网为并发性提供了规范模型，其展开语义将网系统、出现网与事件结构联系起来。然而在量子并发领域尚缺乏可比拟的框架：现有“量子Petri网”缺乏严谨的并发语义、可靠的量子语义、分析工具及展开理论。该研究团队提出了量子Petri网（QPNs）——通过配备与Clairambault、De Visme及Winskel（2019年）提出的量子事件结构语义相兼容的量子赋值的Petri网模型。主要创新包括：（i）与量子事件结构兼容的局部化量子出现网（LQONs）定义；（ii）具有明确定义展开语义的QPNs构建方法；（iii）QPNs的组合化框架。该工作建立了具有扎实语义基础的量子并发模型，为Petri网理论与量子编程搭建了桥梁。