Modeling Feynman's quantum computer using Stochastic High Level Petri Nets

One of the first and simplest models of a quantum computer was introduced in 1985 by Richard Feynman. 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 rootNOT gates in series, as our object of demonstration; its use and operation have been modeled in detail using Stochastic High Level Petri Net formalism.