2017/04/24 by Sheng Zhang, Zhang, Sheng, Yonghui Ma +5
Computer Science · Engineering · Physics and Astronomy · #FOS: Physical sciences #Molecular Communication and Nanonetworks #Quantum Computing Algorithms and Architecture #Quantum Mechanics and Applications #Quantum Physics (quant-ph)
paper · pdf · doi:10.48550/arxiv.1704.07031
openalex publication_date 2017/04/24 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.