Formal verification of quantum communication protocols using Petri nets
Sheng Zhang, Yonghui Ma, Chunning Meng, Haiping Wang
TL;DR
This paper introduces a novel formal verification method for quantum communication protocols by extending Petri nets to model quantum states and phenomena, enabling rigorous analysis of protocol correctness.
Contribution
It extends Petri nets to incorporate quantum states, providing a new framework for formal verification of quantum communication protocols.
Findings
Successfully modeled quantum protocols using extended Petri nets
Demonstrated the framework with an example of protocol analysis
Showed potential for rigorous verification of quantum communication tasks
Abstract
This paper presents a new formal method for verification of quantum communication protocols. By extending the symbolic system of Petri nets, we can define quantum pure states in Petri-net settings. Therefore, it is possible to emerge a framework from formalizing basic quantum phenomena, which are utilized to achieve communication tasks. We also present an example of applying this framework to the modeling and analyzing quantum communication protocols to show how it works.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsQuantum Mechanics and Applications · Molecular Communication and Nanonetworks · Quantum Computing Algorithms and Architecture