Formal verification of quantum communication protocols using Petri nets
Quantum Physics
2017-04-25 v1
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.
Keywords
Cite
@article{arxiv.1704.07031,
title = {Formal verification of quantum communication protocols using Petri nets},
author = {Sheng Zhang and Yonghui Ma and Chunning Meng and Haiping Wang},
journal= {arXiv preprint arXiv:1704.07031},
year = {2017}
}
Comments
5 pages,5 figures,conference