量子科技中心_量科网

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