© 2026 Aqora Quantum S.A.S.

Terms Privacy Legal Notice

Journal of Systems and Software

A Modeling approach based on Coloured Petri Nets for Quantum algorithm

Shichen Zhou, Xu Guo, Jiantao Zhou

Published Jul 26, 2025• 1 citation

DOI: 10.1016/j.jss.2025.112567

Related papers

Modeling and Analysis of Quantum Turing Machine by using Coloured Quantum Petri Nets

Ito Shinsuke, Atsushi Ohta, Kohkichi Tsuji

IEICE Technical Report; IEICE Tech. Rep.•May 27, 2009•0 citations

On a new model for Quantum Computers by using Quantum Petri Nets

Ito Shinsuke, Atsushi Ohta, Kohkichi Tsuji

IEICE Technical Report; IEICE Tech. Rep.•Nov 19, 2009•0 citations

Modeling and Analysis of Quantum Circuits by using Extended Petri Nets

Muranushi Kenta, Atsushi Ohta, Kohkichi Tsuji

IEICE Technical Report; IEICE Tech. Rep.•Jan 23, 2014•0 citations

Petri Nets, Discrete Physics, and Distributed Quantum Computation

Samson Abramsky

Lecture notes in computer science•Jan 1, 2007•3 citations

Petri Nets, Discrete Physics, and Distributed Quantum Computation

Samson Abramsky

Lecture notes in computer science•Jan 1, 2008•16 citations

Modeling Shor's Algorithm with Colored Petri Net

Atsushi Ohta, Kohkichi Tsuji

Petri net is a mathematical tool for concurrent systems. This paper suggests colored Petri net to model measurement of part of registers in quantum algorithm. We construct a colored Petri net model of Shor's algorithm using CPN Tools.

International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC)•Jul 5, 2022•0 citations