Modeling and analysis of margolus quantum cellular automata using net-theoretical methods

Petri net methods have been very successful in modeling the operation of classical parallel systems. In this work, these methods are applied to designing semi-classical parallel quantum computers. The demonstration object of our study is a quantum Billiard Ball Model Cellular Automaton (BBMCA) suggested by Margolus. Firstly, a highlevel Petri net model of a classical reversible version of this automaton is constructed. Subsequently, this Petri net model is used as a so-called kernel net of the quantum BBMCA. The time-independent Hamiltonian needed to generate the time-evolution of a quantum computer can be automatically generated from the reachability graph of a kernel net. Also, a new numerical method for solving the resulting Schrodinger differential equation system needed for time simulation of the quantum automaton is given. QUANTUM MARIA, a software package for modeling and numerical simulation of quantum computers, is introduced.