Modeling Feynman´s quantum computer using stochastic high level Petri nets

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 √NOT gates in series, as our object of demonstration; its use and operation are modeled in detail using stochastic high level Petri net formalism