Quantum Buffer Design Using Petri Nets

Abstract

This paper introduces a simplified quantum Petri net (QPN) model and uses this model to generalize classical SISO, SIMO, MISO, MIMO and priority buffers to their quantum counterparts. It provides a primitive storage element, namely a quantum S-R flip-flop design using quantum CNOT and SWAP gates that can be replicated to obtain a quantum register for any given number of qubits. The aforementioned quantum buffers are then obtained using the simplified QPN model and quantum registers. $\!\!$The quantum S-R flip-flop and quantum buffer designs have been tested using OpenQASM and Qiskit on IBM quantum computers and simulators and the results validate the presented quantum S-R flip-flop and buffer designs.

Figures (26)

• Figure 1: (a) A QPN example with multiple arcs (b) A QPN example with compact representation of multiple arcs.
• Figure 2: A transition $T_1$ fires, at time $t=0.$
• Figure 3: A Quantum S-R (Q-S-R) Flip-Flop Circuit 1.
• Figure 4: A Quantum S-R (Q-S-R) Flip-Flop Circuit 2.
• Figure 5: A $u$-qubit quantum register, constructed out of $u$ Q-S-R flip-flops.