Feynman's Quantum Computer Modeled Using Petri Nets: Full Adder Circuit

Leo Ojala, Elina Parviainen, Olli-Matti Penttinen +2 more

Muranushi Kenta, Atsushi Ohta, Kohkichi Tsuji

Ito Shinsuke, Atsushi Ohta, Kohkichi Tsuji

Leo Ojala, Elina Parviainen, Olli-Matti Penttinen +2 more

One of the first and simplest models of a quantum computer was introduced by Richard Feynman (1985). The aim of our study is to extend the application area of Petri nets, which have been very successfully used to model classical engineering systems, by modeling the use and operation of Feynman's quantum computer. Originally, Feynman could not give a time bound for the completion of his computer's computation; a periodical measurement procedure was needed giving rise to a specific computational approach. We have chosen Feynman's NOT-computer, in the form of two /spl radic/NOT gates in series, as our object of demonstration; its use and operation are modeled in detail using stochastic high level Petri net formalism.

Saleem Mohammed Ridha Taha

Ito Shinsuke, Atsushi Ohta, Kohkichi Tsuji

Petri Net that is an effective tool for concurrent systems, has been extended to Quantum Petri Net. The conventional modeling method of quantum computer using Quantum Petri Net, have several drawbacks. This paper defines new model and examines conditions to solve these drawbacks, and proposes new model from modeling quantum Turing machine, and shows that the model can simulate more general calculation processes than which the conventional model.