On a new model for Quantum Computers by using Quantum Petri Nets

摘要

Quantum computers have been expected to run faster than classical ones since the algorithm for prime factorization etc. were found. In research of quantum computers, analysis such as expression power and design of quantum computer have been studied by using various models. Meanwhile, modeling of quantum computers by using models based on Petri nets which are an effective tool for concurrent systems, has been studied. In this paper, first, we propose a new quantum Petri net model for quantum computers. Next, we show some net structural properties of this model. Finally, we discuss redundancy, which arises from properties of some quantum computers, on this model.