Next Article in Journal
Enhancing Variational Informational Principles: A Complexified Approach with Arbitrary Order Norms
Previous Article in Journal
Studies on Cauchy–Stieltjes Kernel Families
Previous Article in Special Issue
Attempting the Impossible: Enumerating Extremal Submodular Functions for n = 6
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Development of Dynamic System Applications Using Distributed Quantum-Centric Computing

1
Department of Automation, Technical University of Cluj-Napoca, 400114 Cluj-Napoca, Romania
2
Department of Electrical & Computer Engineering, Democritus University of Thrace, 67100 Xanthi, Greece
*
Author to whom correspondence should be addressed.
Mathematics 2025, 13(19), 3159; https://doi.org/10.3390/math13193159
Submission received: 3 September 2025 / Revised: 28 September 2025 / Accepted: 30 September 2025 / Published: 2 October 2025
(This article belongs to the Special Issue Recent Advances in Scientific Computing & Applications)

Abstract

Many applications of quantum computers require the classical and quantum implementation of dynamic systems (DSs). These applications comprise interacting quantum and classical tasks. While quantum tasks evolve in the quantum domain, classical tasks behave in the classical domain. Besides tackling these kinds of tasks, the computational gap between these domains is covered by the current study. The quantum computing feature All at Once (A@O) executions is appropriate for static systems but less for DSs. The novelty of the proposed approach consists of using Distributed Quantum-Centric Petri Net (DQCPN) models composed of quantum and high-level Petri Nets for specification, design, verification, and implementation of classical–quantum applications. Quantum Processing Units (QPUs) are linked to classical components implementing the control and optimization operations in the proposed application. Many practical applications combine quantum and classical computing to address optimization problems. Quantum computers can be built with a combination of qubits and bosonic qumodes, leading to a new paradigm toward quantum computing. The optimizations are performed by some Evolutionary Algorithms (EAs), including Particle Swarm Optimization (PSO) methods and Genetic Algorithms (GAs). For experiments, an Urban Vehicle Traffic System (UVTS) is used as an open distributed system. The vehicle flows are implemented by discrete qubits, discrete vectors of qubits, or qumodes.

1. Introduction

Quantum and classical computing are increasingly combined to address optimization problems [1]. Quantum computers may integrate qubits and bosonic qumodes, introducing a new paradigm. While qubits are implemented on quantum superconductivity hardware at cryogenic temperatures, qumodes are realized on optical processors operating at room temperature.
Practical applications of quantum computing include the following:
  • Artificial intelligence (AI) and machine learning (e.g., quantum-inspired tensor neural networks for quantum machine learning and quantum generative AI);
  • Financial modeling for market prediction and risk management;
  • Manufacturing resilience, for identifying components that contribute to incidents of product failure;
  • Secure communications and access control for blockchain or quantum cryptography;
  • Cybersecurity;
  • Material science, for finding molecules with more complex interactions;
  • Drug and chemical research for new-drug finding;
  • Weather forecasting and climate change;
  • Electrical power system balance, and scheduling and control;
  • Route and traffic optimization for finding the shortest possible route between cities or traffic flows;
  • Complex circuit design;
  • Complex structure synthesis;
  • Automotive industry (e.g., improved battery conception);
  • Quantum computing applied to natural language processing;
  • Quantum computing for task optimization;
  • Quantum sensing (environmental monitoring, medical imaging, geological exploration, etc.).

1.1. Development of Quantum Software Application

The practical use of quantum computing requires accessible and effective programming development methods. Several important approaches for solving quantum computing problems are analyzed in [2].
According to [3], there is a strong need for simulators and design environments focused more on software design than on quantum circuits. This refers to the high-level design of hybrid software systems, often incorporating existing modeling languages and methodologies.
As noted in [4], tools that allow programmers to work at the algorithmic level rather than dealing with hardware organization and low-level optimization are required. Similar to classical computing, a complete life cycle of quantum computing tools, methods, and procedures must be provided.
A quantum programming environment is described in [5], consisting of a platform that includes a compiler of the quantum while-language, together with tools for simulating quantum computation, optimizing quantum circuits, and analyzing and verifying quantum programs.
A survey of architectures and demands for software in quantum computing is provided in [6], while quantum model development architectures are systematically reviewed in [7], including architecture-centric solutions and emerging challenges.
Language-level extensions have also been proposed. For instance, [8] extends C++ with quantum operations for hybrid implementations, and [9] introduces Q#, an algorithm definition language in which the quantum program operates as a co-processor to the classical machine.
Another direction is quantum service-oriented computing [10], whose evaluation considers qubit count, number of shots, precision, response time, and cost.
Our proposed approach builds on these architectural, modeling, validation, and deployment requirements but also emphasizes analysis and verification. Petri Nets (PNs), widely used in classical software verification, are extended here to support quantum computing.

1.2. Dynamic Systems

A dynamic system (DS) consists of related elements (variables) whose relationships evolve over time. The term dynamic highlights continual or discrete changes, while dynamical emphasizes the study of such evolution. DS behavior can be mathematically modeled through variables and their interactions, governed by rules that describe state dependence on a parameter called time.
Time may be discrete ( Z ), continuous ( R ), complex ( C ), or multi-dimensional subsets of R n . The collection of states defines the system’s state space, which may be discrete, continuous, or multi-dimensional. Rule application defines state transitions and, over multiple applications, system evolution. Rules may involve fixed or time-dependent parameters.
Some characteristics of DSs are the following:
  • Time dependence: State change across time.
  • State variables: Internal conditions at a given time.
  • Inputs: External influences on system behavior.
  • Outputs: Measurable indicators of system evolution.
From these, DSs can be classified as
  • Continuous-time DSs (variables change continuously);
  • Discrete-time DSs (variables change at fixed intervals);
  • Discrete-event DSs (variables change asynchronously);
  • Deterministic DSs (future states precisely predictable);
  • Stochastic DSs (behavior described by probabilities);
  • Random DSs (state changes unpredictable in timing or magnitude).
DSs may be linear, non-linear, time-invariant, or time-variant. Non-linear systems violate the superposition principle, which complicates the implementation of quantum systems. A typical application is closed-loop control, achieved through classical methods or AI-based approaches, such as reinforcement learning, supervised learning, unsupervised learning, and deep learning [11].
DSs can be simple [12] or composed of more DSs, resulting in dynamic systems of systems [13].
A closed DS is typically modeled as
( , x ( τ n ) , x ( τ n 1 ) , , x ( τ 1 ) , x ( τ ) ) x ( τ + 1 ) ,
where x ( τ ) X is the state at time τ T .
An open DS with an input u ( τ ) U is described by
( , x ( τ n ) , x ( τ n 1 ) , , x ( τ 1 ) , x ( τ ) , u ( τ ) ) x ( τ + 1 ) .
There are many models for DSs dependent on their characteristics. The current approach focuses on a class of models that have a graphical representation and are derived from Petri Nets (PNs).
Classical Hybrid Petri Nets (CHPNs) are composed of discrete and continuous Petri Nets (ContPNs) [14]. QPNs have different features compared with ContPNs. There is no structural difference between QPNs and ContPNs, but the assigned mappings are different. Thus, the algorithms they can model are different. The transition admissibility is also different. Conclusion: DQCPNs differ significantly from CHPNs.
Goal and justification of the current research study: Dynamic systems (DSs) need space–time representation. This means that DS models need a kind of memory feature to store their state values for their implementation. Classical tasks must interact with the execution of quantum tasks for the proper implementation of quantum-centric applications.
Applications of DSs include modeling, identification, control, and forecasting, among others [15]. They are widely used for scientific research, engineering, financial markets, psychology, etc. [16].

1.3. Quantum Computation Related to Dynamic Systems

Wharton [17] describes several features of quantum computing (QC) that conflicts with the requirements of DSs:
  • No-cloning principle: A general quantum state (unlike some particular quantum states) cannot be copied.
  • All at Once (A@O) executions: Suitable for static systems but less appropriate for DSs.
  • No-go theorem: Ruling out local hidden-variable models.
  • Lack of synchronization: It complicates the enforcement of state-precedence relations.
Another challenge is the difficulty of implementing quantum memory, which is essential to DS simulations and critical in fields such as AI and optimization [18].
To address some of these limitations, Lattner et al. [19] introduced MLIR, a reusable and extensible compiler infrastructure that supports software fragmentation, heterogeneous compilation, and the integration of domain-specific compilers. Similarly, ref. [20] presents an intermediate representation (IR) framework for quantum programs that verifies the no-cloning principle at compile time and performs redundancy and dead-code elimination.
Although quantum computing supports parallelism, many DS applications require execution of concurrent tasks assequences of quantum operations that preserve precedence relations.
A general and comprehensive theory for non-computability or non-approximability for optimization problems in general settings is developed in [21]. Many such problems are formulated as minimization or maximization of some functional F : X × Y R over a solution space X R n and a parameter space Y R m for n , m N :
max y Y ; x X ( y ) { F ( x , y ) } ; o r min y Y ; x X ( y ) { F ( x , y ) } .
Here, the parameter y can play the role of time for the quantum program, while X ( y ) models the solution space determined by time. Details, relations, and theorems can be found in the reference mentioned above. Two main problems are emphasized in [21], as presented below.
Find the extreme of the function f : Y R :
y Y : f ( y ) = max y Y ; x X ( y ) { F ( x , y ) } ; o r min y Y ; x X ( y ) { F ( x , y ) } .
Find a function G : Y X such that
y Y : f ( y ) = F ( G ( y ) , y ) .

2. Quantum Computing

According to [22], the computational space in quantum computing is richer than in classical computing. Classical computation is based on bits, which take values in { 0 , 1 } . The state space defined by n bits has a size of 2 n . Dynamic system (DS) problem solving often requires steering a system toward desired states, yet this is challenged by the no-cloning theorem. The central difficulty lies in determining a quantum gate sequence that transforms an initial state into a target state with minimal error.
Quantum computation can be implemented using qubits (discrete variables) or qumodes (continuous variables). Repeated measurements (“shots”) on qubits can provide statistical approximations to continuous-variable behavior.

2.1. Discrete Qubits

Discrete qubits are defined on the basis { | 0 , | 1 } , forming Hilbert vectors of dimension n in the computational basis { | 0 , | 1 , , | n } . A discrete qubit in Hilbert space is described as
| Ψ = k = 0 n 1 c k | q k
with c k C satisfying k = 0 n 1 | | c i | | 2 = 1 . In most cases, the vectors | q k are chosen from the computational basis.
Unitary matrices perform operations on discrete qubits. Measurements collapse qubit states into classical basis states, and multiple shots yield empirical probabilities that approximate a continuous distribution.
A unitary transformation of an initial state | Ψ 0 is written as
| Ψ = U | Ψ 0 .
A single-qubit logic gate is a 2 × 2 matrix. For example, the Hadamard (or diffusion) matrix
H = 1 2 1 1 1 1
acting on | b = α 0 | 0 + β 0 | 1 produces | b = 1 2 ( α 0 + β 0 ) | 0 + 1 2 ( α 0 β 0 ) | 1 , which preserves normalization. Any composition of gates must yield a unitary matrix to ensure this property.
The qubit information is stored as a two dimensional vector [ α , β ] , while the m qubit Hilbert vector is stored as an n = 2 m dimensional vector [ c 0 , c 1 , , c n 1 ] .
The identity matrix is denoted by I, while the Pauli operators X and Z are
X = 0 1 1 0 ,
Z = 1 0 0 1 .
Parameterized Quantum Circuits (PQCs) [23] introduce variational parameters θ , producing states of the form
| Ψ ( θ ) = U ( θ ) | Ψ 0 .
For example, a qubit rotation is given by
R ( θ ) = c o s ( θ ) s i n ( θ ) s i n ( θ ) c o s ( θ ) .
Such relations between Hilbert vectors and unitary operators can be modeled naturally by Quantum Petri Nets (QPNs) [24,25].

2.2. Qumodes

Continuous-variable quantum states, or qumodes, evolve in Fock space, defined as the direct sum of Hilbert spaces representing zero-, one-, two-particle states, and so on [22,26]. A correspondence between qubit- and qumode-based quantum computing is included in [27]. While a qubit state is expressed as { | 0 , | 1 } , a qumode uses the continuous basis { | q } q R with | Ψ = d q · c ( q ) | q .
Formally, the Fock space is
F ν ( H ) = n = 0 S ν H n .
with S ν being an operator for tensor symmetrization or unsymmetrization.
A qumode state is
| Ψ = k = 0 c k | q k
with k = 0 | c i | 2 = 1 .
For m qumodes,
| Ψ 0 | Ψ 1 | Ψ m 1 .
Because infinite expansions are impractical, a cutoff n c is introduced:
| Ψ ^ = k = 0 n c 1 c k | q k
with k = 0 n c 1 | c i | 2 = 1 . The qumode is stored as
q m = [ c 0 , c 1 , , c n c 1 ] T .
With m qumodes and cutoff n c , the state space has dimension n c m . Operations are represented by n c m × n c m Gaussian operators.
A system comprising m qumodes, each truncated to a cutoff dimension n c , is described by a state vector residing in a Hilbert space of dimension n c m . The operators acting on this space are represented by n c m × n c m matrices, which typically implement Gaussian transformations for the standard continuous-variable gate set.
Fundamental operations on a single qumode include rotation or phase shift, position displacement, momentum displacement, and squeezing [26,28]. These transformations are defined using the bosonic annihilation a ^ and creation a ^ operators, whose matrix representations in the Fock basis are given by:
a ^ = 0 1 0 0 0 0 0 2 0 0 0 0 0 n c 2 0 0 0 0 0 n c 1 0 0 0 0 0 ,
a ^ = 0 0 0 0 0 1 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 n c 1 0 .
The number operator, n ^ c = a ^ · a ^ , is consequently a diagonal matrix whose entries correspond to the photon numbers
n ^ c = 0 0 0 0 0 0 1 0 0 0 0 0 2 0 0 0 0 0 n c 2 0 0 0 0 0 n c 1 .
This operator satisfies the eigenvalue equation n ^ c | k = k | k for Fock state | k .
The canonical position ( q ^ ) and momentum ( p ^ ) operators are derived from the annihilation and creation operators:
q ^ = 1 2 ( a ^ + a ^ ) ,
p ^ = 1 i 2 ( a ^ a ^ ) .
These operators define the phase space and obey the canonical commutation relation [ q ^ , p ^ ] = i I ^ , where (Plank’s constant) is often set to 2 in this context.
A phase space rotation by an angle θ is generated by the number operator and is represented by the unitary matrix
R ( θ ) = 1 0 0 0 0 0 e x p [ i θ ] 0 0 0 0 0 e x p [ i 2 θ ] 0 0 0 0 0 e x p [ i ( n c 2 ) θ ] 0 0 0 0 0 e x p [ i ( n c 1 ) θ ] .
Using the relation e i θ = c o s ( θ ) + i · s i n ( θ ) , the rotation result of q m can be calculated.
Displacement in phase space by a complex amplitude α is achieved by the operator
D ( α ) = e x p [ α a ^ α * a ^ ] .
The squeezing operation, which reduces the variance of one quadrature at the expense of the other, is parameterized by a squeezing factor r and an angle θ :
S ( r , θ ) = e x p [ r 2 ( e i θ a ^ 2 e i θ a ^ 2 ) ] .
According to [29], a practical and computationally efficient method for implementing a rotation by θ in the phase space of the quadrature operators is the linear transformation
q ^ p ^ c o s ( θ ) s i n ( θ ) s i n ( θ ) c o s ( θ ) · q ^ p ^ .
Displacement along the position or momentum quadrature corresponds to the translations
q ^ p ^ q ^ p ^ + s 0 ,
q ^ p ^ q ^ p ^ + 0 s .
Squeezing (by a factor s) transformations scale the quadratures according to
q ^ p ^ s 0 0 1 / s · q ^ p ^ .
For systems with multiple qumodes, a fundamental two-mode operation is the beamsplitter transformation, which couples modes i and j:
B S ( η , θ ) = e x p [ η ( e i θ a ^ i · a ^ j e i θ a ^ i · a ^ j ] .
Complex multi-qumode circuits, such as interferometers, can be constructed from networks of these basic elements (beamsplitters and phase shifters). These networks implement unitary transformations that preserve the Gaussian character of the input states [26]. Methods also exist for designing control sequences to steer a qumode system towards a desired target state [30].
Qumode measurement schemes are broadly classified into Gaussian and non-Gaussian strategies [31]. Gaussian measurements include the following:
  • Homodyne detection: This technique measures a generalized quadrature observable, q ^ Φ = c o s ( Φ ) q ^ + s i n ( Φ ) p ^ , which is the eigenbasis of a Hermitian operator. The measurement projects the state onto | q Φ with outcome q R .
  • Heterodyne detection: This method performs a simultaneous albeit noisy measurement of both conjugate quadratures, q ^ and p ^ . It projects onto coherent states | q with outcomes α C .
The primary non-Gaussian measurement is the following:
  • Photon counting: This approach reveals the particle-like aspect of the field by projecting onto the number state basis { | n } , yielding integer-valued outcomes n N .
For both single- and multi-qumode states, experimental results can be processed to extract expectation values, variances, or full probability distributions, providing outcomes over a continuous domain [28].

2.3. Artificial Intelligence Related to Quantum Computing

The requirements of DSs concern stabilizing or leading them to a target state or around it. When the DS is disturbed, it must return to the target state or follow a desired trajectory. Some specifications of DSs require reactions to different inputs, considered control demands (i.e., control signals) or disturbances. Subjects in the DS field include modeling, synthesis, identification, or control. Such kinds of DSs can be obtained by finding some system’s fixed parameters, dynamically changing the parameters provided by functions, or finding control reactions to internal or external events. Optimization of DSs can be performed offline or online. Some offline optimization methods include the search for fixed parameters that lead the systems to target states or around a specified state. Online optimization methods involve continuously changing specific parameters to improve DS behaviors or discovering new reaction rules.
The problem of controlling a dynamic system when the state cannot be directly measured and the control performance metrics are unknown or only partially known is solved in [32].
A domain where quantum computing is expected to achieve great success against classical computing is machine learning and artificial intelligence [11]. Both optimization and machine learning, which are involved in quantum computing, require the repeated execution of specific models. Using artificial neural networks, support vector machines, rule-based systems, etc., machine learning (supervised, unsupervised, deep learning, and reinforcement learning) can solve iteratively the above-presented optimization problems. The procedures have to implement a functional F model, a cost function, and a decision maker for search improvement. These can be solved on a quantum-centric implementation, deciding which parts are implemented on QCs (quantum computers) and which on CCs (classical computers) [2,23].
Some qubits at arbitrary locations are connected with a real-time classical connection, creating the statistics of entanglement through quasiprobability decomposition (QPD) [33].
The fluid dynamics problem is considered purely classical, where the hardness stems from the need to solve non-linear differential equations [34]. A high-level diagram of a hybrid quantum–classical training algorithm for variational circuits is described here.
General heuristic optimization methods are used for their few and weak requirements concerning the process models. Some of them are bio-inspired, and others are based on physical concepts. The current approaches use Genetic Algorithms (GAs) and Particle Swarm Optimization (PSO).
There are evolutionary methods that solve combinatorial problems involving a finite state space [35,36]. Some approaches solve static optimization problems by using a continuous space [37].
In [24], a quantum method that solves discrete dynamic optimization problems in a finite state space is presented.

2.4. Current Research State of the Field

Quantum programs are often modeled and implemented by quantum logic gates or by unitary matrices in Hilbert spaces. A set of quantum logic gates composes a quantum logic circuit. Any quantum logic circuit can be described by a unitary matrix.
Unitary matrices can perform any quantum logic gate or any quantum logic circuits. Any unitary matrix can be implemented by a set of available quantum logic gates or it can be approximated with a specified precision by a set of available gates of a Quantum Processor Unit (QPU).
According to [38], quantum dynamic systems contain more information than the original classical system. The classical DS is linked to a QC presentation using the density of probability.
Wharton et al. (2011) use timed unitary operators and compose sequences of such operators to describe dynamic system evolution [39].
Liu et al. (2023) proposed quantum memory avoiding the quantum no-cloning theorem (principle) effect involved in reading and writing processes (which cannot copy information), realizing this by using quantum operations [18].
Quantum Petri Net (QPN) models were introduced for describing and solving some quantum computing problems in [24,25,40]. A QPN version linking quantum events semantics and quantum software is introduced in [41].
Recently, a quantum buffer was designed using Petri Net models [42].
In [43], the modeling and analysis of quantum applications are performed using Colored Petri Nets.
In [44], Object Enhanced Time Petri Net (OETPN) modeling techniques were used for complex problems of classical software engineering.
Our previous research showed capabilities and benefits of Quantum Petri Nets (QPNs) in modeling quantum programs or conceiving models for classical program construction inspired by quantum computation. So, the collaboration between OETPNs, which sustain the development of classical object-oriented programs, and QPNs, which are used for quantum program development, can lead to software platforms with capabilities derived from both [24].
In [45,46], distributed quantum applications are implemented based on cooperation between quantum and classical computing. A circuit representation of the quantum teleportation process, sending quantum information from a source to a destination, is performed using some quantum logic gates. In the current article, a model for this process combining QPNs and OETPNs is proposed. The result of sending an information qubit from Quantum Processing Unit 1 ( Q P U 1 ) to Q P U 2 is shown in Figure 1.
The circles represent PN places that correspond to state elements. The information assigned to places composes the PN marking that models the state of the system. The transitions model the system’s state changes performed by the assigned operations. Filled rectangles represent quantum operations, while empty rectangles correspond to classical operations. Places p 6 , p o 0 , and p o 1 are classical, while the rest of the places are quantum. Places p 5 and p 5 model measurements of quantum places p 4 and p 4 , respectively.
The vector information to send is | Ψ 1 = α | 0 + β | 1 , and the Bell state is | Φ + = a | 00 + b | 11 .
They are used for the transition mappings providing the vectors
t 1 : | Ψ 2 = I | Ψ 1 ; | Φ 2 = X | Φ + ; | Ψ 1 = | Ψ 1 ,
t 2 : | Ψ 2 = I | Ψ 1 ; | Φ 2 = X | Φ + ,
t 3 : | Ψ 3 = H | Ψ 3 ; | Φ 3 = X | Φ 2 .
The previous model of teleportation can be reduced by joining sequential transitions. The simplified version is represented in Figure 2. The two entangled states stored in p 2 and p 2 containing the vector | Φ + are used as support for teleportation of the vector | Ψ 1 stored in p 1 . The system relevant initial state is given by the marking ( M ( p 1 ) , M ( p 2 ) , M ( p 2 ) ) = ( | Ψ 1 , | Φ + , | Φ + ) . Almost instantly, the quantum system state becomes ( M ( p 1 ) , M ( p 2 ) , M ( p 2 ) , M ( p 3 ) , M ( p 3 ) ) = ( | Ψ 1 , | Φ + , | Φ + , | Ψ 3 , | Φ 3 , | Φ + ) , but only after the execution of the classical transition t m and the sending of the classical bits to Q P U 2 , the vector | Ψ 1 is teleported. The teleportation is consistent only if the classical transmission is performed during the coherence time interval of Q P U 2 .
Table 1 shows the meanings and sizes of nodes and the involved operations for the QPN model shown in Figure 2.
The bidirectional communication between Q P U 1 and Q P U 2 is shown in Figure 3. This model performs | Ψ 13 = F 1 ( | Ψ 11 , | Ψ 21 ) and | Ψ 23 = F 2 ( | Ψ 21 , | Ψ 11 ) .
The double communication is timed by classical transitions t 13 and t 23 , which include the qubit measurements and their transmissions.
Places p e 1 and p e 2 model quantum communications channels denoted by e 1 and e 2 , respectively. Places p c 1 and p c 2 model classical channels c 1 and c 2 , respectively. They control the behavior of quantum gates modeled by transitions t 14 and t 24 .

2.5. Analysis and Verification of Quantum and Classical Petri Nets

PNs are bipartite oriented graphs composed of nodes that model the states (represented by places) and their changes (described by transitions). Classical tasks are implemented by digital bits and classical logic circuits that execute logic or arithmetic operations.
Usually, quantum applications are composed of cooperating classical and quantum tasks. Classical tasks solve the user interface, set the quantum task parameters, and control the start and measurements of the quantum tasks. Quantum tasks implemented by discrete variables (i.e., qubits) or continuous variables (i.e., qumodes) change the physical process states by quantum circuits executing quantum operations. Concentrated or distributed quantum tasks evolve at a much higher speed relative to their counterpart classical components.
Verification and analysis of PNs are often performed by Petri Net-based Language and reachability graphs. These methods were used in the current research study.
The behavior of Classical or Quantum Petri Nets, as well as the relations between these two kinds of PNs, must be analyzed and verified.

Petri Net-Based Language (PNL)

This method describes the execution of parallel, sequential, and concurrent transitions. It can also be used for Classical PNs or Quantum PNs. Using the notations “*” for sequence, “+” for alternative, & for concurrence, and # for closing a loop, the behavior of a PN can be described. For example,
  • t 1 t 2 describes the sequential execution of transitions t 1 and t 2 ;
  • t 1 + t 2 describes the alternative for executing transition t 1 or t 2 ;
  • t 1 & t 2 = t 1 t 2 + t 2 t 1 describes concurrent execution;
  • ( t 1 t 2 ) # t 3 describes a loop σ = ( t 1 t 2 t 3 ) σ .
Details of their use are provided in [47,48]. PNL can be extended for Enhanced Time Petri Nets (ETPNs) obtaining a language (ETPNL) capable of describing dynamic open system behavior.
DQCPNs include quantum task models and classical task models that behave in different domains and interact through clearly defined and modeled frontiers separating them. Both kinds of tasks are modeled by PN-based templates. PN-based Language can describe concurrency and can be used to determine the precedence relations. Enhanced (Time) PN-based Language can include input events and signal output events linked to their frontiers.
Enhanced (Time) Petri Net-based Language can be defined in the following manner: Time is a classical task feature, while quantum tasks lack it, so EPNL notation should be used for quantum program description. The precedence notation corresponding to transitions is endowed with two parameters, e i and e o , representing external input and output events, respectively, becoming t ( e i , e o ) . These events are included in quantum or classical places according to the specification. When one or both events are missing, this is marked by the symbol “-”.
For example, the model shown in Figure 3 can be described by the sequences
σ 1 = t 11 ( , e 1 ) t 14 ( c 1 , ) ,
σ 2 = t 21 ( e 2 i , e 1 ) t 14 ( c 2 , ) .
The entanglement sequence is
t 0 ( e 1 . e 2 ) & t 0 ( e 2 , e 1 ) .
Transitions t 13 and t 23 are externally controlled without the controls represented in Figure 3. Classical transitions can be delayed by clock ticks, which are kinds of external time input events.

2.6. Reachability Graphs

The execution of transitions changes the states of classical and quantum components. The Classical or Quantum PNs states are represented by markings. Reachability graphs are used to determine the markings that can be reached during program execution. A reachability graph analysis approach can be used to determine and enforce the desired control requirement for a composed classical quantum model.
Some sequences of transitions provide cyclic behaviors, while others determine acyclic behaviors. The interface(s) between classical and quantum tasks creates a frontier that must be analyzed for quantum-centric application verification.
Unlike bounded numerical PNs, where the state numbers are finite, the current approach involves infinite numbers of states for classical and quantum parts. As a consequence, the term state label is more appropriate for the reached markings than reached states.
In qubit implementation, the state is considered its probability on the basic axis. In qumode implementation, the physical state is defined by the photons’ position and momentum. The vector | Ψ is used as the quantum program state, a replacement of the real physical state.

3. Materials and Methods

Distributed quantum-centric applications are composed of classical parts and quantum parts. In the current approach, the classical parts are modeled by OETPNs and the quantum parts by QPNs. All components must cooperate to fulfill the specifications and the requirements of the application.

3.1. Parameterized Quantum Circuits (PQCs)

A unitary matrix U ( θ ) can be parameterized by a parameter θ  [23]. This performs the relation
| Ψ ( θ ) = U ( θ ) | Ψ 0
A classical part of a quantum-centric computing program provides the parameter θ . The model shown in Figure 4 starts from the initial quantum state M ( p 0 ) = | Ψ 0 and the classical state M ( p 1 c ) = θ 0 .
Typically, | Ψ 0 is the initial state obtained from n qubits, each in state | 0 , forming the product state | 00 0 . In some cases, the required initial state is obtained by multiplying by a unitary matrix.
Changing the variational parameters while a QPU executes a quantum program modifies its quantum state.
The quantum part state is [ M ( p 0 ) , M ( p 1 ) , M ( p 2 ) ] . When the quantum program begins, its state changes instantly to [ | Ψ 0 , | Ψ 1 , | Ψ 2 ( θ 0 ) ] . The mapping m a p 1 0 = I reloads place p 0 with the initial value in an ideal QPU (with I being the identity matrix). In a real QPU, however, noise leads to the relation | Ψ 0 = U I ( ζ ) | Ψ , where ζ represents the noise effect in time and U I ( ζ ) is the practical approximation of the resulting unitary matrix that replaces the ideal I matrix. If the quantum program interacts with a classical program, their interaction must occur within the quantum fidelity period.
The execution of classical transition t 1 c results in
[ | Ψ 0 , | Ψ 1 , | Ψ 2 ( θ 0 ) ] [ | Ψ 0 , | Ψ 1 , | Ψ 2 ( θ ) ] .
The execution of t 2 c before t 1 c provides the measurement v of | Ψ 2 ( θ 0 ) . Conversely, if t 1 c is executed first, the measurement of | Ψ ( θ ) is provided.
As was shown, a quantum program model can describe the joining of qubit vectors (e.g., transitions t 11 or t 21 in Figure 3) or split the qubit vector (e.g., transitions t 14 and t 13 or t 24 and t 23 in Figure 3). The split qubits (or vectors) can be measured separately during quantum program execution. Consequently, the place sizes or the token sizes that can be set in a place may vary depending on the developer’s needs.

3.2. QPN Models with Qumodes

Our earlier QPN models were based on discrete qubits in Hilbert space. In these models, places store quantum states using V vectors of dimension m and/or | Ψ vectors of dimension 2 m . State evolution is modeled by transitions performing unitary operations either on individual qubits or collectively on multiple qubits.
The current approach extends the previous definition of QPNs to include one or both types of quantum variables: discrete qubits and qumodes. The V vectors can consist of qumodes or, collectively, multi-qumodes. In this case, Hilbert space is replaced by Fock space, and the unitary operations are adjusted accordingly. As mentioned earlier, cutoff dimensions n c must be introduced, which set the size of multi-qumodes to n c m .
The equivalent qubit parameterized unitary matrix for a qumode can be obtained by a sequence of displacement and rotation D ( α ) R ( θ ) .
The overall structure of QPN models remains the same, as do the sequences of transitions describing the evolution. In the case of discrete qubits, measurement often requires multiple shots, whereas for qumodes, a single shot is sufficient.

3.3. Temporal Analysis of DQCPN Model

A temporal analysis should verify the state changes of the quantum program in relation to its interaction with the classical program. Consider the double communication program shown in Figure 3. The initial states of Q P U 1 & Q P U 2 are
[ | Φ + , | Ψ 1 , | Ψ 12 , | Ψ 13 ( θ 2 0 ) ] ; [ | Φ + , | Ψ 2 , | Ψ 22 , | Ψ 23 ( θ 1 0 ) ] .
According to the Classical Petri Net principle of atomic transitions, transitions t 13 and t 23 cannot occur simultaneously. They are concurrent; therefore, their corresponding events are ordered by the “happen before” relation represented by : either t 13 t 23 or t 23 t 13 . The QPN reachability graph contains the states
[ | Φ + , | Ψ 1 , | Ψ 12 , | Ψ 13 ( θ 2 1 ) ] ; [ | Φ + , | Ψ 2 , | Ψ 22 , | Ψ 23 ( θ 1 0 ) ] ,
and
[ | Φ + , | Ψ 1 , | Ψ 12 , | Ψ 13 ( θ 2 0 ) ] ; [ | Φ + , | Ψ 2 , | Ψ 22 , | Ψ 23 ( θ 1 2 ) ] ,
before reaching the final state
[ | Φ + , | Ψ 1 , | Ψ 12 , | Ψ 13 ( θ 2 1 ) ] ; [ | Φ + , | Ψ 2 , | Ψ 22 , | Ψ 23 ( θ 1 2 ) ] .
Both measuring events must occur within the fidelity periods of the QPUs to ensure computational correctness.
The partial ordering involved in entanglement in quantum programs can be determined by inference of EPNL relations. So, the construction of reachability graphs can be obtained under the constraints given by EPNL. Due to the entanglement requirement, the constraint t 13 t 23 must be implemented for Figure 3.
A quantum-centric program consists of a QPN and a Classical Petri Net, modeled here by OETPN. The interface between the QPN and the OETPN includes classical control places and classical measurement places.

3.4. QPN Definition

Figure 5 illustrates a QPN model composed of four places and a transition. The places represented by circles model the system state described either by a Hilbert vector denoted by | Ψ or by an array of qubits or qumodes denoted by V, as shown in Figure 6.
A vector V = [ | q 0 , | q 1 , , | q m 1 ] can be converted into the corresponding vector | Ψ by the relation
| Ψ = | q 0 | q 1 | q m 1 .
System change is performed by transitions, denoted here by t k , which modify the states of the system. When particular qubits or qumodes of a vector are involved, the corresponding mappings are marked on the arcs. A descriptive representation can be seen in Figure 7.
If the detailed relations performed on qubits or qumodes composing a vector V are
| q 0 = U 0 | q 0 , | q 1 = U 1 | q 1 , , | q m 1 = U m 1 | q m 1 ,
these lead to a new vector V . The corresponding vector | Ψ can be directly determined by a composed unitary matrix U given by
U = U 0 U 1 U m 1 .
When the unitary matrices depend on parameters, they can be provided by control places. For example, a rotation angle θ may be used in a unitary matrix through sine and cosine functions, yielding U ( θ ) .
In this approach, the mappings multiply the input tokens stored in the transition input places by unitary matrices. More details are given in [24].
The formal definition of Q P N is
Q P N = ( N , G , I n p , O u t , M a p , Q M 0 , i n i t , e n d , Q M f )
where the following apply:
  • N = (P, T, F) is a bipartite oriented graph (i.e., net with two disjoint sets of nodes).
  • P = { p 1 , p 2 , . . . , p m } is a finite set of places, with m 1 .
  • T = { t 1 , t 2 , . . . , t n } is a finite set of transitions, with n 1 .
  • F P × T T × P is the flow relation.
  • G = [ g 1 , g 2 , , g m ] is a vector containing the sizes of the vectors V i ( i = 1 , 2 , , m ) stored in the corresponding places; for qumodes, the cutoff dimensions must be included.
  • I n p = { p 1 c , p 2 c , } is a set of input channels providing the parameters ( θ ) of unitary matrices.
  • O u t = { t 1 c , t 2 c , } is a set of output channels providing the measurements of some qubits.
  • M a p is the set of mappings (i.e., pair ( m a p Ψ k v ( ) , m a p V k v ( ) ) ) assigned to arcs linking the transitions with places; if one of them is missing, it is denoted by n u l l .
  • Q M 0 is a matrix with initialized values (i.e., the initial quantum superposed states).
  • init is the initialization method.
  • end is the stop method.
  • Q M f is a matrix storing the values of the final quantum superposed state (i.e., the result matrix).
Some important relations related to QPNs are
  • °t = { p P | ( p , t ) F } describes the transition t input place set;
  • t = { p P | ( t , p ) F } describes the transition t output place set.
QPN tokens are quantum superposed vectors stored in places and transformed by transitions implementing unitary matrices. Let | ψ 1 = i = 0 r 1 c i 1 | q i and | ψ 2 be two vectors in Hilbert space or Fock space. Then,
| ψ 2 = A | ψ 1 = A i = 0 r 1 c i 1 | q i = i = 0 r 1 c i 1 A | q i
Above, A is a matrix that generates a transformation of a quantum superposed state. A A = A A = I , where A is the conjugate transpose of A. Such matrix A is called unitary. This property of A guarantees that the transformation C 2 T = A · C 1 T with C i = [ c 0 i , c 1 i , , c r 1 i ] ( i = 1 , 2 ) is valid. For simplicity reasons, only particular cases of unitary matrices are used in this work.
Similar quantum operations can also be defined for qumodes and multi-qumodes.

3.5. Quantum Tasks with Repeated Operation Execution

Figure 8 shows a theoretical QPN model that requires the periodic execution of operations U 1 and U 2 , followed by transition t 3 , which measures the state of | Ψ 2 . The model contains conflicting transitions t 2 and t 3 . The decision whether to continue the quantum process or to stop it and measure place p 2 is difficult to implement. Another challenge is to change the state of place p 1 .
Until quantum technology permits the modification of a quantum register qubit (currently forbidden by the no-cloning principle), the model shown in Figure 9 can be used. The number of times n that the operations U 1 and U 2 are executed is fixed and predefined.

3.6. Quantum Iterative Task Execution

Some applications, like machine learning, require the iterative execution of quantum tasks with different parameters. Figure 10 displays a quantum task that executes the operations modeled by transitions t 1 and t 3 dependent by the parameters θ 1 and θ 2 set by a classical task. For a two-qubit register, an example of U 2 ( θ 1 ) is
U 1 ( θ 1 ) = c o s ( θ 1 ) s i n ( θ 1 ) 0 0 s i n ( θ 1 ) c o s ( θ 1 ) 0 0 0 0 1 0 0 0 0 1 .
This operation rotates the first qubit by an angle determined by the parameter used to set the QLC assigned to transition t 1 . In an iterative execution, the parameters and the QLCs are set before the quantum task begins.

3.7. Distributed Quantum-Centric Petri Nets (DQCPN)

A DQCPN model consists of cooperating QPNs and OETPNs. A QPN has quantum places P Q and transitions T Q , while an OETPN has classical places P C and transitions T C . OETPN models can be distributed and implemented on a classical computer network, while QPNs can be distributed and implemented on a set of cooperating QPUs. OETPNs and QPNs can interact through quantum–classical interfaces:
D Q C P N = ( Q P N , O E T P N ) ,
where
Q P N = { Q P N 1 , Q P N 2 , . . . , Q P N q n } ,
O E T P N = { O E T P N 1 , O E T P N 2 , . . . , O E T P N c n } .
Here q n and c n represent the numbers of QPU components and OETPN components, respectively.
The interface between two QPNs contains quantum transitions that implement entangled quantum places. Classical places and classical transitions compose the interfaces between two OETPNs. The frontier between a QPU and a classical computing component is represented by classical places, while the quantum–classical interface is implemented by measuring transitions of quantum places.

3.8. Quantum Processor Unit (QPU) Model

Figure 11 displays the generic template of a quantum task implemented on a Quantum Processor Unit. The node specifications are as follows:
  • Input quantum places: p i 1 and p i 2 .
  • Output quantum places: p o 1 and p o 2 .
  • Internal initial places (corresponding to internal qubits): p 0 , p 1 , , p k , Their type is quantum.
  • Entangled qubits places: p e 1 and p e 2 . Their type is quantum.
  • Measured places (qubits): p m 1 and p m 2 . Their type is classical vector.
  • Control places: p c 0 , p c 1 , p c 2 , and p c 3 . Their type is classical vector. They can be used to set QLC parameters or for the selection of QLCs.
  • Measurement control places: p c s . There can be multiple classical measurement control places.
  • Transition parameters: θ 0 , θ 1 , θ 2 , and θ 3 . These determine the unitary matrices performed by transitions. They are classical vectors and define the types or behaviors of the involved unitary matrices.
Execution of a program built using this template is performed under the following assumptions:
  • No noise is present; thus, the quantum process can last as long as necessary.
  • Transitions are executed under the All at Once principle.
  • Once a stable state is reached, it can be changed by the control places or by changes in input places’ states, leading to another stable state.
  • Quantum measurements do not stop the QPU process.
  • Classical measurements stop the measured qubit but not the unmeasured qubits.
  • A complex quantum program can be implemented on more QPUs by linking their input and output places. Each QPU executes a quantum task, and the set of quantum tasks run concurrently.

3.9. QPN Model of a Quantum Task

A quantum program is composed of a set of distributed, concurrent, and communicating quantum tasks. Typically, each quantum task is deployed on a QPU; however, this is not mandatory—multiple tasks can be implemented on the same QPU.
The Q P N model of a quantum task is composed of the tuple
Q P N = ( N , G , t y p e , U , m a p , P Z , P I , P C , P O , T M , P M )
where the following apply:
  • N = (P, T, F) is the earlier defined net (Section 3.4).
  • G = [ g 0 , g 1 , , g m 1 ] is the earlier defined vector (Section 3.4).
  • t y p e is a mapping assigning types to places: t y p e : P { q u a n t u m , c l a s s i c a l } .
  • U is a set of unitary matrices corresponding to quantum logic circuits available in the QPU, which can be assigned to transitions through the mapping m a p : T U .
  • P Z = { p 0 Z , p 1 Z , . . . } P is a set of qubits or qumodes (usually initialized in the quantum state | 0 ).
  • P I = { p 0 I , p 1 I , . . . } P is a set of input places receiving quantum vector information from other quantum tasks (QPUs).
  • P C = { p 0 C , p 1 C , . . . } P is a set of input control places used for transition control. They contain parameters from the set Θ = { θ 1 , θ 2 , . . . , } used in the transition unitary matrices.
  • P O = { p 0 O , p 1 O , . . . } P is a set of output places used for sending quantum vectors to other quantum tasks (i.e., QPUs).
  • P M = { p 0 M , p 1 M , . . . } P is a set of measurement places that store classical information from measured qubits or qumodes for output QPU use.
  • T M = { t 0 M , t 1 M , . . . } T is a set of controlled transitions used to measure their input places, storing the information in P M as either quantum or classical type.
A quantum task begins when control place p 0 C receives parameters. The enabled transitions, conventionally partitioned in steps, are executed. The quantum task reaches a balanced state that persists until one of the input places from P I P C p M receives an event that changes its state (Algorithm  1).
Algorithm 1 QPU or quantum task executor
  • Input: P , T , P Z , P I , p M , T M , F , U , t y p e , m a p ;
  • Initialization:  P Z , P I , P C , P M
  • while time horizon do
  •    for all t T  do
  •      if t enabled then
  •         * execute t;
  •      end if;
  •    end for;
  •    * s e n d ( P O ) ;
  •    * s e n d ( P M ) ;
  •     w r i t e ( | Ψ i ) , i = 0 , 1 , . . . , m 1 ;
  •    WAIT(input event);
  • end while;
  • END algorithm;

3.10. Optimization of DSs

A quantum approach of combinatorial problems is based on the Quantum Approximate Optimization Algorithm (QAOA) [49]. Dynamic optimization problems with continuous variables are more challenging, particularly in open systems.
Variational Quantum Algorithms (VQAs), frequently used for optimization, are hybrid algorithms that employ both quantum and classical computing to find approximate solutions. These can be either gradient-based or gradient-free methods [30].
Evolutionary Systems (ESs) and their extensions Quantum Evolutionary Systems (QESs) are also commonly used in DS optimization. More details are given in [24].
Genetic Algorithms (GAs) and Quantum Genetic Algorithms (QGAs) are based on individuals grouped into populations that are iteratively improved using performance evaluations [50].
Unlike GAs, QGAs require the quantum implementation of individuals and the execution of genetic operations such as mutation, permutation, crossover, and combination. These operations can be efficiently implemented and controlled on a quantum computer (QC) or a QPU. Performance-based individual selection increases the chance of choosing better candidates. Performance evaluation requires adding unitary vectors multiplied by sub-unitary coefficients, which can be implemented through a unitary matrix applied to output variables.
For optimal control, Particle Swarm Optimization (PSO) has been used. A historical perspective on PSO development is given in [51].
PSO is a metaheuristic global optimization paradigm valued for its ease of application to complex multi-dimensional problems unsolvable by traditional deterministic algorithms [51,52]. Various methods have been developed to avoid local optima and improve search speed. Applications of PSO in multiple fields are analyzed in [53].
A quantum variant, Quantum Particle Swarm Optimization (QPSO), is described in [54,55,56]. Both classical PSO and QPSO benefit from features inspired by natural organisms. PSO models particles as moving in Newtonian space, characterized by position and velocity [52].
PSO has been enhanced with quantum features, yielding QPSO [55]. Quantum entanglement has been incorporated for quantum-inspired PSO [57]. Cooperative swarm intelligence is another application of QPSO [57]. QPSO can also be applied successfully to multi-task problems [58].

4. Experiments

As an application of DQCPNs, an Urban Vehicle Traffic Control (UVTC) system is chosen. Links between quantum computing and traffic management can be found in [59].
According to [60], a key component for the study and development of intelligent transportation systems is traffic modeling, which provides a framework for better investigating and testing the state of the road in real time and accurately predicting future traffic. Colored Petri Nets and Complex Event Processing are used for this purpose, representing the modeling of the city map and its vehicle traffic. Remarkably, here, the scalability challenge can be addressed by classical (Colored) Petri Nets, so their extension to QPNs is expected to also retain this feature.
The proposed QPN is a distinct type of PN model that retains most of the PN features. Supervised machine learning requires model training, where the high speed of quantum simulations constitutes a relevant benefit. The DQCPN approach supports the distributed implementation of UVTS, as well as model training.
The Urban Vehicle Traffic System (UVTS) is a modern and complex problem involving variations in traffic flow that require timely reactions under temporal constraints [61]. The UVTS can be described as vehicle flows that vary probabilistically in space and time [62]. Traffic flow parameters can be changed and controlled at intersections.
The current approach considers a network of simple intersections with two phases of controllable duration. The template of such an intersection is shown in Figure 12, where for direction i  ( i = 1 , 2 , 3 , 4 ) , the flow states are denoted by x i , the input flows by u i , and the output flows by e i .
The relations describing the dynamics of the intersection in Figure 12 consist of incoming flows, internal flows, and outgoing exit flows. An incoming input flow u i in iteration k is split into two directions, u i , f and u i , r , as
u i ( k ) = s i ( k ) · u i , f ( k ) + ( 1 s i ( k ) ) · u i , r ( k ) ,
according to the split coefficient s i ( k ) of input flow u i ( k ) at time k.
The intersection flows are controlled by a signal γ , with α γ and β γ representing phase duration parameters. All intersections are assigned the same cycle duration.
The flows for the horizontal directions i = 1 , 3 (modulo 4) in iteration k are described by
x i ( k + 1 ) = x i ( k ) + m i n { u i , f ( k ) , α γ ( k ) } + m i n { u i + 1 , r ( k ) , β γ ( k ) } e i + 2 ( k ) ,
where x i ( k ) is the flow state at time k and e i + 2 ( k ) is the exit flow. The notation m i n { a , b } means the minimum of a and b.
The flows for the vertical directions i = 2 , 4 (modulo 4) in iteration k are described by
x i ( k + 1 ) = x i ( k ) + m i n { u i , f ( k ) , β γ ( k ) } + m i n { u i + 1 , r ( k ) , α γ ( k ) } e i + 2 ( k ) .
Exit flows e i ( k ) are constrained by a value ϱ i representing the maximum lane exit capacity:
e i ( k ) = m i n { x i ( k ) , ϱ i } .
An UVTS composed of four intersections, I 1 , I 2 , I 3 , and I 4 , is shown in Figure 13. This system is used for optimal control with the goal of achieving maximum throughput.
Each intersection I i has two input flows ( i n p i , j ; j = 1 , 2 ) and two output flows ( o u t i , j ; j = 1 , 2 ) coming from or going outside the controlled area. Here j = 1 is used for horizontal flows and j = 2 for vertical flows.
The incoming flows in the system i n p i , j ( i = 1 , 2 , 3 , 4 ; j = 1 , 2 ) may vary, but the control system modifies control γ i ( i = 1 , 2 , 3 , 4 ) such that the UVTS achieves the highest possible throughput, for the current demands, as assessed by
J = i = 1 4 j = 1 2 o u t i , j 2 .
For simplicity, the input flow splits s i , j ( i = 1 , 2 , 3 , 4 ; j = 1 , 2 , 3 , 4 ) are considered constant.
The flows of the UVTS model can be implemented by QPNs using different types of places and their corresponding transitions:
  • Single qubits in Hilbert space with multiple shots;
  • Multi-qubits (discrete) in Hilbert space with a single shot;
  • Single qumodes in Fock space with a single shot;
  • Multi-qumodes in Fock space with a single shot.
In this approach, each QPU implements an intersection, and the entire UVTS is implemented in four linked QPUs.
An input flow u i split into u i , f and u i , r according to a parameter s i set in control place p c is represented in Figure 14.
Figure 15 shows the QPN model representing the exit flow e i + 2 , composed of the previous flow ( x i ), the forward input flow ( u i , f ), and the right input flow ( u i + 1 , r ).
By combining these components, the QPN model shown in Figure 16 is obtained. Place p 0 represents the initial value | 0 of a qubit or qumode. It is used by the mapping assigned to t 0 for setting in p 1 the initial value x i of x i , according to the value loaded in p c 0 . Place p i receives the input value u i , which is split by transition t i according to the split value s i set in place p c , s i . A similar role is played by nodes p i 2 , t i 2 , and p c , s , i + 1 .
Transitions t 1 and t 2 model the increase in flow x i by the input flow in phases one and two, respectively. The increase values are set in p c 1 and p c 2 . Transition t 3 models the exit flow stored in p 4 , measured by t m , and sent forward by t 4 . The time when the exit flow is measured is controlled by place p c m .
The execution of the above QPN model can be divided in steps:
  • Step 1 executes concurrently transitions t 0 , t i 1 , and t i 2 , producing flows x i , u i , f , u i , r , u i + 1 , r , and u i + 1 , f .
  • Step 2 executes transition t 1 , increasing flow x i with u i , f when phase 1 is open.
  • Step 3 executes transition t 2 , which adds right flow u i + 1 , r during phase 2.
  • Step 4 executes transition t 3 , releasing the vehicle flow to the next intersection or out of the system.
  • Step 5 models the exit flow by transition t 4 and place p o .
Finally, transition t m is executed, and exit flows e i + 2 , m are measured.

4.1. Lane Flows: Implementation and Simulation

Quantum model implementation and simulation of UVTSs can be performed using either discrete variables or continuous variables for flow modeling. Discrete variables can be implemented with one qubit per flow or with multiple qubits per flow. In the latter approach, the time for performing arithmetic operations (see [63]) can be utilized in the classical style. Another approach is based on qumodes, using one qumode per flow or multiple qumodes per flow.

4.1.1. One-Qubit-per-Flow Implementation

Each of the flows mentioned above is implemented by one qubit. Instead of the well-known Bloch sphere, the qubit is represented on a circle. Figure 17 illustrates a qubit constrained to a circle (plane) described by
| q = α | 0 + β | 1 = s i n ( θ ) | 0 + c o s ( θ ) | 1 .
The qubit measurement is obtained by projecting it onto the | 1 axis. Multiple execution shots are required to obtain reliable flow measurements. A mapping from the flow domain to the qubit measurement domain converts a flow variable into a qubit, or vice versa. For example, a flow range of [ 0 , 15 ] vehicles/minute corresponds to the qubit measurement range [ 0 , 1 ] .
For the input split model shown in Figure 14, an implementation based on one qubit per flow is proposed, as illustrated in Figure 18. It describes a qubit | s = α s | 0 + β s | 1 that controls two entangled inputs | u i = α u | 0 + β u | 1 and | u i = α u | 0 + β u | 1 , defined by the pair | s and | s , where | s = X · | s .
The model shown in Figure 14 was practically implemented based on the relations
u = u f + u r , | u = α u | 0 + β u | 1 , | u f = α f | 0 + β f | 1 , | u r = α r | 0 + β r | 1 ,
with the split flows being given by
| u f | u r = R ( θ f ) 0 0 R ( θ r ) · | s | u .
Using the split relations β f + β r = β u and β f = β s · β u , the rotation angles θ f and θ r can be determined:
θ f = a r c c o s ( β u · β s ) ; θ r = a r c c o s ( β u ( 1 β s ) ) .
A lane exit flow | e i + 2 opposite entrance i is determined by the relations
| γ = α γ | 0 + β γ | 1 , | x i = α x , i | 0 + β x , i | 1 , | u i , f = α i , f | 0 + β i , f | 1 , | u i + 1 , r = α i + 1 , r | 0 + β i + 1 , r | 1 , | e i + 2 = α e , i + 2 | 0 + β e , i + 2 | 1 ,
with i { 1 , 2 , 3 , 4 } and i + 1 taken from modulo 4. An exit flow | e i + 2 from one intersection becomes the input flow of the next. Assuming that a phase is open when γ = | 1 and closed when γ = | 0 , the coefficients α γ and β γ determine the entrance and exit of the lanes.
In Figure 16, the input splits are controlled by | s i and | s i + 1 , while the crossings are controlled by | γ i f and | γ i r . The rotation angles of transitions t 1 and t 2 are
θ i , f = arccos ( m i n { β i , f , β γ } ) ,
θ i , r = arccos ( m i n { β i + 1 , r , α γ } ) .
Place p 0 is initialized to | 0 , and transition t 0 , controlled by place p c 0 , injects into place p 1 the initial value of flow state x 0 . Input place p i 1 receives the split value | u i 1 . Transition t 1 , controlled by place p c 1 , sets the qubit | x in place p 2 , representing the sum of the two previous qubits. The input value | u i 2 is added to | x , controlled by the state | 0 of | γ . It is assumed that | u 1 enters during phase one on | 1 and | u 2 during phase two on | 0 . The exiting vehicle flow of a lane, with state | x , is modeled by transition t 3 . Vehicles exit in both phases, represented by | 0 and | 1 . The rotation angle of transition t 3 is fixed and identical for all flows moving forward, denoted by θ e .

4.1.2. Multi-Qubits-per-Flow Implementation

Using four qubits to represent a vehicle flow can cover the range [ 0 , 15 ] vehicles/minute. The number of times these operations are applied is set in the control places p c 0 , p c 1 , p c 2 , p c 3 , p c s , i , and p c s , i + 1 .

4.1.3. One-Qumode-per-Flow Implementation

A qumode can represent a vehicle flow if a scaling function is applied.
Let q m i = [ c 0 , c 1 , , c 7 ] T of dimension 8 be a variable modeling a vehicle flow x i , and let L ( · . ) be a function that converts the measured value into the corresponding flow by the relation
x i = L ( q m i ) = 1 + ( k = 0 7 c k · 2 k ) · 15 / 128 .
The initialization of flow x i 0 corresponds to a qumode value q m i 0 , obtained as
x i 0 = L ( q m i 0 ) ; q m i 0 = R ( θ ) D ( α ) | 0 .
The parameters α and θ can be determined using Particle Swarm Optimization (PSO) or a Genetic Algorithm (GA) so that the resulting qumode q m i 0 is an acceptable approximation of x i 0 (i.e., x i 0 L ( q m i 0 ) ).
The input flow split can be simulated using two entangled qumodes. A beamsplitter gate provides two exit qumodes that are separately rotated, one in the positive direction and the other in the negative direction.
Flow addition or subtraction can be simulated by positive or negative displacement and rotation, respectively.
In conclusion, using qumodes does not require changing the implementation logic. Only the mappings assigned to transitions must be modified for qumode operations.

4.2. Intersection Model

By joining the flow inputs in a vector U, the lane flow states in a vector X, the lane exits in a vector E, and the phase controls γ ( α γ , β γ ) of the two phases, the composed (concentrated) QPN model of the QPU that integrates the crossroad is obtained. These vectors correspond to the relations
| U = | u 1 | u 2 | u 3 | u 4 , | X = | x 1 | x 2 | x 3 | u x , | E = | e 1 | e 2 | e 3 | e 4 , | S = | s 1 | s 2 | s 3 | s 4 , | E m = [ e m 2 , e m 2 , e m 3 , e m 4 ] T .
The vector | U * describes the split input vector containing pairs ( u i f , u i r ) for i = 1 , 2 , 3 , 4 . Some exit flows are measured, and some outputs of an intersection are linked to inputs of other intersections.
For practical reasons, the qubit implementation was performed using V vectors instead of | Ψ vectors. Detailing the two phases and representing separately the input vehicle flows used in the second phase by U , the QPN model of all four lanes integrated into an intersection is shown in Figure 19.
Each QPU integrates the QPN model of an UVTS intersection. The vectors of an intersection’s four lanes are denoted by U , X , E , and γ . Place p 0 integrates four qubits initialized at | 0 . Controlled transition t 0 sets in place p 2 state X = [ | x 1 , | x 2 , | x 3 , | x 4 ] T .
Input place P i receives four qubits U = [ | u 1 , | u 2 , | u 3 , | u 4 ] T , which are split by transition t i according to the split values S = [ | s 1 , | s 2 , | s 3 , | s 4 ] T provided by place P c 1 . Thus, place P 1 contains eight qubits U = [ | u 13 , | u 12 , | u 24 , | u 23 ] , | u 34 , | u 31 , | u 42 , | u 41 ] T .
Some of these inputs are used by controlled transition t 1 (modeling phase 1), while the other four are used by transition t 2 (phase 2). Both phases are controlled by places P c 2 and P c 3 , which store the control qubit | γ . Transition t 3 models the four exit flows. These are measured by transition t m and sent out through transition t 4 via place P o .
The intersection model can be implemented with either four qubits per vehicle flow or one qumode per vehicle flow. The vectors and the operations assigned to transitions must be adapted accordingly.

4.3. UVTS QPN Model

Figure 20 displays a QPN model integrating the QPN models of all four intersections. If the previous vectors are joined according to their roles, we obtain the vectors of the QPN model corresponding to the entire UVTC system. They are denoted by
U = [ U 1 , U 2 , U 3 , U 4 ] T , S = [ S 1 , S 2 , S 3 , S 4 ] T , U f = [ U 1 , f , U 2 , f , U 3 , f , U 4 , f ] T , U r = [ U 1 , r , U 2 , r , U 3 , r , U 4 , r ] T , X = [ X 1 , X 2 , X 3 , X 4 ] T , E = [ E 1 , E 2 , E 3 , E 4 ] T , Γ = [ γ 1 , γ 2 , γ 3 , γ 4 ] .
The qubits or qumodes initialized in place P 0 at state | 0 are mapped by controlled transition T 0 into place P 1 , according to the required states X i , i = 1 , 2 , 3 , 4 , transmitted through place P c 0 . Place P i is initialized at | 0 for all four qubits, vectors of qubits, or qumodes.
Transition T i sets in P i + the external inputs according to the information received through place P c i . The internal inputs stored in P i + (i.e., | u ) are provided by transition T 4 from the exit flow lanes.
Transition T s splits the input flows, storing them in place P 2 , denoted by U * . Transition T 1 models phase 1 of all intersections, while T 2 models the opposite phases. Transition T 3 models the lane exits of all intersections. Transition T 4 models the feedback of exit flows converted into internal input flows. T 4 links the exit flows with the corresponding input flows according to the UVT topology depicted in Figure 13.
Information stored in place P 6 can be measured at the request of the classical component.
Table 2 shows the nodes, their sizes, and the operations involved for the one-qubit-per-flow implementation. It can be extended for the four-qubits-per-flow or one-qumode-per-flow implementations.
Figure 21 shows the architecture of the distributed quantum-centric application solving the optimal control of the UVT problem. The classical computing components receive the inputs I n p , the current flow states X , and the input splits S of U. These are sent to the control component, which fills the control places of the QPUs. An initial control set Γ is also provided. The quantum computing process is then started. After a specified delay, Control measures exit lane flows E m , which are used to compute input splits and lane exit flows.
The optimization component finds control Γ by using the measured values E m . The control problem of UVT with QPN models consists of finding intersection phase controls γ i ( i = 1 , 2 , 3 , 4 ) for a given initial flow X i ( i = 1 , 2 , 3 , 4 ) , input splits S i ( i = 1 , 2 , 3 , 4 ) , and input demand flows i n p i j ( i = 1 , 2 , 3 , 4 ; j = 1 , 2 ) such that the highest throughput (see Equation (54)) is achieved.
The optimization problem was solved using the Particle Swarm Optimization (PSO) algorithm and the Genetic Algorithm (GA), with comparable results. A GA individual or PSO particle represents the vector Γ .
The current problem reduces to finding the phase control vector
Γ = [ | γ 1 , | γ 2 , | γ 3 , | γ 4 ] .
That is, finding Γ = [ ( α 1 , β 1 ) , ( α 2 , β 2 ) , ( α 3 , β 3 ) , ( α 4 , β 4 ) ] in a four-dimensional search space.
The Quantum Computing System (QCS) reaches the initial equilibrium state by executing the sequence
σ = ( ( T 0 T 1 T 2 T 3 ) & ( T i T 4 ) ) T 5 T s ( T m e & T m u ) .
During an experimental scenario, the inputs I n p ( τ ) , S ( τ ) and the control Γ ( τ ) are fixed, leading the system to states X ( τ ) , U ( τ ) for τ = 1 , 2 , , converging to equilibrium states X 0 , U 0 . The QCS then performs the relation E m = Q C S ( I n p , X , S , Γ ) .
The classical control component implements the Algorithm 2:
Algorithm 2 Classical control
  • Control( I n p ( 0 ) , X 0 , U ( 0 ) , Γ ( 0 ) , S ( 0 ) )
  • Input: I n p ( 0 ) , X 0 , U ( 0 ) , Γ ( 0 ) , S ( 0 ) , m a x ;
  • Output: X 0 , U 0 , Γ ( 0 ) , S ( 0 ) ;
  • Initialization:  τ = 0 ; X = X ( 0 ) ; Γ = Γ ( 0 ) ; U = U ( 0 ) ; S = S ( 0 ) ;
  • *calculate Θ 0 , Θ i , Θ 3 , Θ S ;
  • set Θ 1 = 0 ; Θ 2 = 0 ;
  • while  ( τ m a x )  do
  •    set P c 0 , P c i , P c 1 , P c 2 , P c 3 , P c s with Θ 0 , Θ i , Θ 1 , Θ 2 , Θ 3 , Θ S ;
  •     s h o t Q C S ; /quantum tasks execution
  •    set P m e , P m u ; /measurement request
  •     r e a d ( E m ) ;
  •     r e a d ( U m ) ;
  •     U = G ( I n p , E ) ;
  •    * calculate Θ 1 , Θ 2 ;
  •     X = E ;
  •     w r i t e ( E ) ;
  •     τ + + ;
  • end while;
  • X 0 = X ; E 0 = E ; U 0 = U ;
  • w r i t e : E , X , U ;
  • END algorithm;
A mapping U = G ( I n p , E ) is used to convert the output flows into input flows of neighbor intersections.
Being a hybrid implementation, the reachability graph must contain both classical and quantum states. The marking is M = [ M C , M Q ] , where
M C = [ m ( P c 0 ) , m ( P c i ) , m ( P c 1 ) , m ( P c 2 ) , m ( P c 3 ) , m ( P c s ) , m ( P m e ) , m ( P m u ) , m ( P m 1 ) , m ( P m 2 ) ] ,
and
M Q = [ m ( P 0 ) , m ( P i ) , m ( P 1 ) , m ( P 2 ) , m ( P 3 ) , m ( P 4 ) , m ( P i + ) , m ( P 5 ) , m ( P 6 ) ] .
The reachability graph of the hybrid implementation can be expressed as M Q 0 M C 0 M Q 1 M C 1 M Q 2 M C 2 , where the superscript denotes the iteration.
The QPN model of the UVTS can be implemented using either discrete or continuous variables, as described in [22]. A discrete-variable QPN was used in [24].

4.4. Dynamic System Optimal Control

The Evolutionary System (GA or PSO) used for heuristic optimization has the role of finding optimal control Γ of the UVTS in state X for given I n p and split S. It implements the Algorithm 3:
Algorithm 3 Evolutionary system
  • Evolutionary system( I n p ( 0 ) , X 0 , U ( 0 ) , S ( 0 ) )
  • Input: I n p ( 0 ) , X 0 , U ( 0 ) , S ( 0 ) ;
  • Output: Γ ( 0 ) ;
  • Initialization:  k = 0 ; X = X ( 0 ) ; Γ = Γ ( 0 ) ; U = U ( 0 ) ; S = S ( 0 ) ;
  • * the initial population P 0 ;
  • while  ( k m a x )  do
  •     E = C o n t r o l ( I n p , X , U , S ) ;
  •    * calculate J;
  •     w r i t e ( J ) ;
  •     k + + ;
  •    * Improve Population P
  • end while;
  • w r i t e ( Γ ) ;
  • END algorithm;

4.5. Experimental Results

The experiments were partitioned into three scenarios starting from initial flow state | 0 and applying three vectors of outside inputs:
  • Scenario 1: UVTS cycles 0 to 6.
  • Scenario 2: UVTS cycles 7 to 11.
  • Scenario 3: UVTS cycles 12 to 17.
All the input splits were 1 / 2 .
Figure 22, Figure 23, Figure 24 and Figure 25 display the evolution of flow x 3 of intersection I 1 . The other flows have similar evolution. For one qubit per flow or one qumode per flow, a scale factor of 15 is used to obtain the real value of the vehicle number per minute.
The lane modeled by one qubit per flow is displayed for Scenario 2 in Figure 22. The orange curve shows flow x 3 at the end of each cycle, while the blue curve represents its values at intermediate steps. The initial state was x 3 ( 0 ) = 0.2604446 . The input sequences for the six cycles were i n p 11 = { 0.2 , 0.5 , 0.5 , 0.5 , 0.5 , 0.5 } and i n p 12 = { 0.1654699 , 0.1660795 , 0.5196776 , 0.6025595 , 0.6268274 , 0.6339387 } . The phase controls of the four intersections were γ = { 0.532 , 0.498 , 0.498 , 0.498 , 0.498 , 0.498 } .
The lane modeled by four qubits per flow is displayed for Scenario 2 in Figure 23. The red curve shows x 3 at the end of each cycle, while the blue curve represents intermediate values. The initial state was x 3 ( 0 ) = 3.906669 . The input sequences were i n p 11 = { 3 , 7.5 , 7.5 , 7.5 , 7.5 , 7.5 } and i n p 12 = { 2.4820485 , 2.4911925 , 7.795164 , 9.0383925 , 9.402411 , 9.5090805 } , with γ = { 0.532 , 0.498 , 0.498 , 0.498 , 0.498 , 0.498 } .
The lane modeled by one qumode per flow is displayed for Scenario 2 in Figure 24. The goal was to replicate the same evolution obtained with one qubit per flow. While the qubit implementation uses the rotation gate R ( θ ) , the qumode implementation applies a displacement D ( α ) followed by R ( θ ) . The values of α and θ were determined using PSO and GA, minimizing at each cycle the deviation | | x q m ( τ ) x q b ( τ ) | | , where x q m ( τ ) is the qumode-based flow and x q b ( τ ) is the qubit-based flow. The total fitness fraction assessing the deviation between qubit and qumode simulations was 0.2098.
Figure 24 shows the qumode-based lane simulation in gray, with the corresponding qubit-based simulation in blue. The input sequences, initial state, and controls were identical to those of the qubit simulation.
Table 3 shows the pairs of parameters ( α , θ ) used for displacement and rotation in each QPN step of vehicle traffic simulation.
Figure 25 shows the evolution of the controlled UVTS: blue for input evolution, orange for lane flow evolution, and green for throughput. UVTS throughput was divided by 5 to use the same vertical axis.
UVTS throughput was analyzed under three input vectors:
  • U 1 = { 0.2 , 0.7 , 0.1 , 0.5 , 0.3 , 0.7 , 0.1 , 0.6 } ;
  • U 2 = { 0.5 , 0.5 , 0.4 , 0.4 , 0.6 , 0.6 , 0.4 , 0.5 } ;
  • U 3 = { 0.1 , 0.3 , 0.2 , 0.2 , 0.3 , 0.2 , 0.1 , 0.2 } .
Table 4 summarizes the results obtained using the GA and PSO methods.

5. Discussion

The proposed approach uses general quantum gates, ignoring the logical quantum circuit synthesis and the involved compilation and transpilation processes. We are aware that the performance of quantum computers depends not only on the necessary physical qubits or qumodes but also on the gate error rates, which were not subjects of the current research study. According to [4], the classical processors work synergistically with quantum processors for generating control logic, providing storage and networking services at runtime. The application quality depends on the classical software and how it is linked to quantum software.
Solving a problem starts with its specification, and after its analysis, an algorithm or a set of algorithms is deduced. Some functions are determined that must be implemented on Quantum and Classical Processing Units. Which of them have to be implemented on QC and which on CC constitutes a question that the developer must answer. QC implementation benefits from the opportunity to quickly obtain the solution to some complex problem that must obey real-time requirements. The feasibility analysis would provide the answer if the required architecture met the expected results.
In the above-mentioned reference, quantum temporal cohesion is defined as executing an operation on multiple qubits in the same time span. Quantum spatial cohesion is assessed by the existence of a correlation between neighboring qubits that interact. Quantum coupling is assessed by the degree of interdependence between different modules that affect the interface of the relevant components. The current approach considers a mixed quantum and classical implementation of distributed complex applications, so temporal and spatial coherence should be assessed by the involved QPUs cooperating with classical components. A similar assessment should be used for mixed coupled components.
The verification of quantum-centric applications involves the verification of the quantum parts and the classical parts, as well as their interactions. Besides the state space dimensions, which are usually large, there is an explosion of state space size that makes the direct verification of all the possible reachable states impossible. Using some state labels having kinds of shared features or common links can lead to affordable verification methods. The inherent quantum randomness can be included in the state representatives. Even some precedence relations can be defined and analyzed in relation to sets of concurrent quantum and classical operations.
All the implementations are affected by quantum execution errors. The desired precision determines the number of necessary experiments. The precision assessment must begin with the sequence of the transitions that are executed and the precision of the operations involved. For example, the sequence for reaching the initial equilibrium state of the UVTS (see Equation 70) provides the operations that are executed. Their precision depends on the quantum computer that executes these operations.

6. Conclusions

The goal of unitary development of quantum-centric software using a qubit-based or qumode-based approach mixed with classical computing components was attained. The proposed example for experiments shows a similarity of information flows and vehicle flows. Also, both must be controlled to reach the goals. There is a common view/model for one qubit per flow of information/vehicles, multi-qubits per flow of information/vehicles, or one qumode per flow of information/vehicles. The same graph can be used for the construction of different models of computation. Developers can decide which kinds of information flows are most suitable for their applications. The PNs can be extended and adapted for catching the quantum and classical states, as well as the necessary operations and interactions. They can display the details at different levels and so facilitate development processes.
The QPU pattern helps the quantum implementation of distributed software and the control of quantum processing. The partitioning of applications on quantum tasks and classical tasks facilitates the design, the functions deployment and their behavior verification.

Author Contributions

Conceptualization, T.S.L.; Methodology, T.S.L., I.M. and O.C.; Software, C.A., D.A.-J. and O.C.; Validation, I.M. and O.C.; Formal analysis, T.S.L. and I.M.; Investigation, D.A.-J.; Resources, O.C.; Visualization, D.A.-J.; Supervision, C.A. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

The data presented in this study are openly available on GitHub using QPN-v2.0. at https://github.com/dahliajanabi/QPN-v2.0 (accessed on 28 August 2025).

Conflicts of Interest

The authors declare no conflicts of interest.

Abbreviations

The following abbreviations are used in this manuscript:
QCQuantum computation or computer
CCClassical computation or computer
DQ-CCDistributed Quantum-Centric Computing
PNPetri Net
OETPNObject Enhanced Time Petri Net
PNLPetri Net based Language
QPNQuantum Petri Net
EAEvolutionary Algorithm
QEAQuantum Evolutionary Algorithm
PSOParticle Swarm Optimization
QPSOQuantum Particle Swarm Optimization
GAGenetic Algorithm
CGAClassical Genetic Algorithm
QGAQuantum Genetic Algorithm
QIGAQuantum-Inspired Genetic Algorithm
QAOAQuantum Approximate Optimization Algorithm
ESEvolutionary System
QESQuantum Evolutionary System
QPUQuantum Processing Unit

References

  1. Dutta, R.; Allen, B.; Vu, N.P.; Xu, C.; Liu, K.; Miao, F.; Wang, B.; Surana, A.; Wang, C.; Ding, Y.; et al. Solving Constrained Optimization Problems Using Hybrid Qubit-Qumode Quantum Devices. arXiv 2025, arXiv:2501.11735v1. [Google Scholar] [CrossRef]
  2. Abbas, A.; Ambainis, A.; Augustino, B.; Bärtschi, A.; Buhrman, H.; Coffrin, C.; Cortiana, G.; Dunjko, V.; Egger, D.J.; Elmegreen, B.G.; et al. Quantum Optimization: Potential, Challenges, and the Path Forward. Nat. Rev. Phys. 2024, 6, 718–735. [Google Scholar] [CrossRef]
  3. Serrano, M.A.; Cruz-Lemus, J.A.; Perez-Castillo, R.; Piatini, M. Quantum Software Components and Platforms: Overview and Quality Assessment. ACM Comput. Surv. 2022, 55, 1–31. [Google Scholar] [CrossRef]
  4. Dey, N.; Ghosh, M.; Samir kundu, S.; Chakrabarti, A. QDLC—The Quantum Development Life Cycle. arXiv 2020, arXiv:2010.08053v1. [Google Scholar] [CrossRef]
  5. Liu, S.; Wang, X.; Zhou, L.; Guan, J.; Li, Y.; He, Y.; Duan, R.; Ying, M. Q|SI〉: A Quantum Programming Environment. In Symposium on Real-Time and Hybrid Systems; Lecture Notes in Computer Science, Article in Scientia Sinica Informationis; Springer International Publishing: Cham, Switzerland, 2017. [Google Scholar] [CrossRef]
  6. Jamous, K. Survey on Software Architecture for Quantum Computing: Design Principles, Challenges, and Future Directions. J. Theor. Appl. Inf. Technol. 2025, 103, 8. [Google Scholar]
  7. Khan, A.A.; Ahmad, A.; Waseem, M.; Liang, P.; Fahmideh, M.; Mikkonene, T.; Abrahamsson, P. Software Architecture for Quantum Computing Systems—A Systematic Review. J. Syst. Softw. 2023, 201, 111682. [Google Scholar] [CrossRef]
  8. Nguyen, T.; Santana, A.; Kharazi, T.; Claudino, D.; Finkel, H.; McCaskey, A.J. Extending C++ for Heterogeneous Quantum-Classical Computing. ACM Trans. Quantum Comput. 2021, 2, 1–36. [Google Scholar] [CrossRef]
  9. Svore, K.M.; Geller, A.; Troyer, M.; Azariah, J.; Granade, C.; Heim, B.; Kliuchnikov, V.; Mykhailova, M.; Paz, A.; Roetteler, M. Q#: Enabling scalable quantum computing and development with a high-level domain-specific language. In Proceedings of the RWDSL2018: Proceedings of the Real World Domain Specific Languages Workshop, Vienna, Austria, 24 February 2018. [Google Scholar]
  10. Moguel, E.; Rojol, J.; Valencia, D.; Berrocal, J.; Garcia-Alonso, J.; Murillo, J.M. Quantum service-oriented computing: Current landscape and challenges. Softw. Qual. J. 2022, 30, 983–1002. [Google Scholar] [CrossRef]
  11. Dunjko, V.; Briegel, H.J. Machine learning & artificial intelligence in the quantum domain. arXiv 2017, arXiv:1709.02779v1. [Google Scholar] [CrossRef]
  12. Brin, M.; Stuck, G. Introduction to Dynamical Systems; Cambridge University Press: Cambridge, UK, 2002; ISBN 0-511-02937-3. [Google Scholar]
  13. Adler, R.; Elberzhager, F.; Falcao, R.; Siebert, J. Defining and Researching “Dynamic Systems of Systems”. Software 2024, 3, 183–205. [Google Scholar] [CrossRef]
  14. Ghomori, L.; Alla, H. Modeling and Analysis using Hybrid Petri Nets. Nonlinear Anal. Hybrid Syst. 2007, 1, 141–153. [Google Scholar] [CrossRef]
  15. Isermann, R.; Munchhof, M. Identification of Dynamic Systems. In An Introduction with Applications; Springer: Berlin/Heidelberg, Germany, 2011; ISBN 978-3-540-78878-2. e-ISBN 978-3-540-78879-9. [Google Scholar] [CrossRef]
  16. Yua, R.; Wanga, R. Learning dynamical systems from data: An introduction to physics-guided deep learning. Proc. Natl. Acad. Sci. USA 2024, 121, e2311808121. [Google Scholar] [CrossRef]
  17. Wharton, K. Quantum States as Ordinary Information. Information 2014, 5, 190–208. [Google Scholar] [CrossRef]
  18. Liu, C.; Wang, M.; Stein, S.; Ding, Y.; Li, A. Quantum Memory: A Missing Piece in Quantum Computing Units. arXiv 2023, arXiv:2309.14432. [Google Scholar] [CrossRef]
  19. Lattner, C.; Amini, M.; Bondhugula, U.; Cohen, A.; Davis, A.; Pienaar, J.; Shpeisman, T.; Vasilache, V.; Zinenko, O. MLIR: Scaling Compiler Infrastructure for Domain Specific Computation. In Proceedings of the 2021 IEEE/ACM International Symposium on Code Generation and Optimization (CGO), Seoul, Republic of Korea, 27 February–3 March 2021. [Google Scholar] [CrossRef]
  20. Peduri, A.; Bhat, S. QSSA: An SSA-based IR for Quantum Computing. arXiv 2021, arXiv:2109.02409v1. [Google Scholar] [CrossRef]
  21. Lee, Y.; Boche, H.; Kutyniok, G. Computability of Optimizers. IEEE Trans. Inf. Theory 2023, 70, 2967–2983. [Google Scholar] [CrossRef]
  22. Choe, S. Quantum computing overview: Discrete vs. continuous variable models. arXiv 2022, arXiv:2206.07246. [Google Scholar] [CrossRef]
  23. Bharti, K.; Cervera-Lierta, A.; Ha Kyaw, T.; Haug, T.; Alperin-Lea, S.; Anand, A.; Degroote, M.; Heimonen, H.; Kottmann, J.S.; Menke, T.; et al. Noisy intermediate-scale quantum (NISQ) algorithm. Rev. Mod. Phys. 2021, 94, 015004. [Google Scholar] [CrossRef]
  24. Letia, T.S.; Durla-Pasca, E.M.; Al-Janabi, D.; Cuibus, O.P. Development of Evolutionary Systems Based on Quantum Petri Nets. Mathematics 2022, 10, 4404. [Google Scholar] [CrossRef]
  25. Letia, T.S.; Durla Pasca, E.M.; Al-Janabi, D.M. Quantum Petri Nets. In Proceedings of the 2021 25th International Conference on System Theory, Control and Computing (ICSTCC), Iasi, Romania, 20–23 October 2021; pp. 431–436. [Google Scholar] [CrossRef]
  26. Chandarana, P.; Paul, K.; Garcia-de-Andoin, M.; Ban, Y.; Sanz, M.; Chen, X. Photonic counterdiabatic quantum optimization algorithm. Commun. Phys. 2024, 7, 315. [Google Scholar] [CrossRef]
  27. Pfister, O. Continuous-variable quantum computing in the quantum optical frequency comb. J. Phys. B At. Mol. Opt. Phys. 2020, 53, 012001. [Google Scholar] [CrossRef]
  28. Choe, S.; Perkowski, M. Continuous Variable Quantum MNIST Classifiers—Classical-Quantum Hybrid Quantum Neural Networks. J. Quantum Inf. Sci. 2022, 12, 37–51. [Google Scholar] [CrossRef]
  29. Gu, M.; Weedbrook, C.; Menicucci, N.C.; Ralph, T.C.; van Loock, P. Quantum computing with continuous-variable clusters. Phys. Rev. A 2009, 79, 062318. [Google Scholar] [CrossRef]
  30. Kan, S.; Palma, M.; Du, Z.; Stein, S.A.; Liu, C.; Chen, J.; Li, A.; Mao, Y. Benchmarking Optimizers for Qumode State Preparation with Variational Quantum Algorithms. In Proceedings of the IEEE International Conference on Quantum Computing and Engineering (QCE), Montreal, QC, Canada, 15–20 September 2024. [Google Scholar] [CrossRef]
  31. Killoran, N.; Izaac, J.; Quesada, N.; Bergholm, V.; Amy, M.; Weedbrook., C. Strawberry Fields: A Software Platform for Photonic Quantum Computing. arXiv 2019, arXiv:1804.03159v2. [Google Scholar] [CrossRef]
  32. Cohren, L.; Bianchin, G.; Dall’Anese, E. Online Optimization of Dynamical Systems With Deep Learning Perception. IEEE Open J. Control. Syst. 2022, 1, 306–321. [Google Scholar] [CrossRef]
  33. Vazquez, A.C.; Tornow, C.; Riste, D.; Woerner, S.; Takita, M.; Egger, D.J. Scaling quantum computing with dynamic circuits. arXiv 2024, arXiv:2402.17833v1. [Google Scholar] [CrossRef]
  34. Au-Yeung, R.; B Camino, B.; Rathore, O.; Kendon, V. Quantum algorithms for scientific computing. Rep. Prog. Phys. 2024, 87, 116001. [Google Scholar] [CrossRef]
  35. Han, K.-H.; Kim, J.-W. Quantum-Inspired Evolutionary Algorithm for a Class of Combinatorial Optimization. IEEE Trans. Evol. Comput. 2002, 6, 6. [Google Scholar] [CrossRef]
  36. Patvardhan, C.; Bansal, S.; Srivastav, A. Quantum-Inspired Evolutionary Algorithm for difficult knapsack Problems. Memetic Comp. 2015, 7, 135–155. [Google Scholar] [CrossRef]
  37. Zhang, R.; Wang, Z.; Zhang, H. Quantum-Inspired Evolutionary Algorithm for Continuous Space Optimization Based on Multiple Chains Encoding Method of Quantum Bits. Math. Probl. Eng. 2014, 2014, 620325. [Google Scholar] [CrossRef]
  38. Bogdanov, Y.I.; Bogdanova, N.A.; Fastovets, D.V.; Lukichev, V.F. Quantum approach to the dynamical systems modeling. arXiv 2019, arXiv:1906.06410. [Google Scholar] [CrossRef]
  39. Wharton, K.B.; David, J.; Miller, D.J.; Price, H. Action Duality: A Constructive Principle for Quantum Foundations. Symmetry 2011, 3, 524–540. [Google Scholar] [CrossRef]
  40. Schmidt, H.W. How to Bake Quantum into Your Pet Petri Nets and Have Your Net Theory Too. In Symposium and Summer School on Service-Oriented Computing; Springer International Publishing: Cham, Switzerland, 2021. [Google Scholar]
  41. Joachim, J.S.; Marc de Visme, M.; Stefan Haar, S. Quantum Petri Nets with Quantum Event Structures, semantics, Computer Science > Logic in Computer Science. arXiv 2025, arXiv:2508.14531. [Google Scholar] [CrossRef]
  42. Shah, S.A.; Oruc, A.Y. Quantum Buffer Design Using Petri Nets. Int. J. Parallel Emergent Distrib. Syst. 2024, 40, 166–197. [Google Scholar] [CrossRef]
  43. Zhoua, S.; Zhou, J.; Guo, X. A Modeling approach based on Coloured Petri Nets for Quantum Algorithm. J. Syst. Softw. 2025, 230, 112567. [Google Scholar] [CrossRef]
  44. Letia, T.S.; Al-Janabi, D. Object Enhanced Time Petri Nets. In Proceedings of the International Conference on Event-Based Control, Communication and Signal Processing (EBCCSP), Vienna, Austria, 27–29 May 2018. [Google Scholar] [CrossRef]
  45. Cacciapuoti, A.S.; Caleffi, M.; Van Meter, R.; Hanzo, L. When Entanglement Meets Classical Communications: Quantum Teleportation for the Quantum Internet. IEEE Trans. Commun. 2020, 68, 6. [Google Scholar] [CrossRef]
  46. Caleffi, M.; Amoretti, M.; Ferrari, D.; Illiano, J.; Manzalini, A.; Cacciapuoti, A.S. Distributed quantum computing: A survey. Comput. Netw. 2024, 254, 110672. [Google Scholar] [CrossRef]
  47. Cuibus, O.P.; Letia, T.S. Genetic Programming Synthesis of Discrete Event Controllers Applied to Urban Vehicle Traffic Control. In Proceedings of the 2012 IEEE International Conference on Automation, Quality and Testing, Robotics, Cluj-Napoca, Romania, 24–27 May 2012. [Google Scholar] [CrossRef]
  48. Letia, T.S.; Cuibus, O.P. Automatic Linear Robot Control Synthesis Using Genetic Programming. In Robot Intelligence Technology and Applications 2; Advances in Intelligent Systems and Computing; Springer International Publishing: Cham, Switzerland, 2014; Volume 274. [Google Scholar]
  49. Choi, J.; Kim, J. A Tutorial on Quantum Approximate Optimization Algorithm (QAOA): Fundamentals and Applications. In Proceedings of the International Conference on Information and Communication Technology Convergence (ICTC), Jeju, Republic of Korea, 16–18 October 2019. [Google Scholar] [CrossRef]
  50. Zhang, J.; Kang, M.; Li, X.; Liu, G. Bio-Inspired Genetic Algorithms with Formalized Crossover Operators for Robotic Applications. Front. Neurorobot 2017, 11, 56. [Google Scholar] [CrossRef]
  51. Sengupta, S.; Basak, S.; Peters, R.A. Particle Swarm Optimization: A Survey of Historical and Recent Developments with Hybridization Perspectives. Mach. Learn. Knowl. Extr. 2019, 1, 157–191. [Google Scholar] [CrossRef]
  52. Agrawal, R.K.; Kaur, B.; Agarwal, P. Quantum inspired Particle Swarm Optimization with guided exploration for function optimization. Appl. Soft Comput. J. 2021, 102, 107122. [Google Scholar] [CrossRef]
  53. Zhang, Y.; Wang, S.; Ji, G. A Comprehensive Survey on Particle Swarm Optimization Algorithm and Its Applications. Math. Probl. Eng. 2015, 2015, 931256. [Google Scholar] [CrossRef]
  54. Wang, D.; Tan, D.; Liu, L. Particle swarm optimization algorithm: An overview. Soft. Comput. 2017, 22, 387–408. [Google Scholar] [CrossRef]
  55. Bhatia, A.S.; Saggi, M.K.; Zheng, S.; Naya, S.R. QPSO-CD: Quantum-behaved Particle Swarm Optimization Algorithm with Cauchy Distribution. arXiv 2006, arXiv:2006.16989v1. [Google Scholar] [CrossRef]
  56. Xu, H.; Zhang, J.; Liu, J.; Cao, Y.; Maa, A. Optimization of Ship Permanent Magnet Synchronous Motor 2 ADRC Based on Improved QPSO. Appl. Sci. 2025, 15, 1608. [Google Scholar] [CrossRef]
  57. Vaze, R.; Deshmukh, N.; Kumar, R.; Saxena, A. Development and application of Quantum Entanglement inspired Particle Swarm Optimization. Knowl.-Based Syst. 2021, 219, 106859. [Google Scholar] [CrossRef]
  58. Li, M.; Liu, C.; Li, K.; Liao, X.; Li, K. Multi-task allocation with an optimized quantum particle swarm method. Appl. Soft Comput. J. 2020, 96, 106603. [Google Scholar] [CrossRef]
  59. Senapati, B.; Rawal, B.S.; Lee, P.X. Quantum-Inspired Technologies and Intelligent Traffic Management Systems are Utilized for Managing Four-Way Crossroad Safety for Autonomous Vehicles in American Busiest Cities. Power Syst. Technol. 2025, 49, 1. [Google Scholar]
  60. Díaz, G.; Macia, H.; Valero, V.; Boubeta-Puig, J.; Cuartero, F. An Intelligent Transportation System to control air pollution and road traffic in cities integrating CEP and Colored Petri Nets. Neural Comput. Appl. 2020, 32, 405–426. [Google Scholar] [CrossRef]
  61. Ulvi, H.; Yerlikaya, M.A.; Yildiz, K. Urban Traffic Mobility Optimization Model: A Novel Mathematical Approach for Predictive Urban Traffic Analysis. Appl. Sci. 2024, 14, 5873. [Google Scholar] [CrossRef]
  62. Lartey, J.D. Modelling of Daily Long-Term Urban Road Traffic Flow Distribution: A Poisson Process Approach. Open J. Model. Simul. 2025, 13, 89–105. [Google Scholar] [CrossRef]
  63. Zhang, Y. Four Arithmetic Operations on the Quantum Computer. J. Phys. Conf. Ser. 2020, 1575, 012037. [Google Scholar] [CrossRef]
Figure 1. QPN model for teleportation.
Figure 1. QPN model for teleportation.
Mathematics 13 03159 g001
Figure 2. Simplified QPN model of teleportation.
Figure 2. Simplified QPN model of teleportation.
Mathematics 13 03159 g002
Figure 3. QPN model for double communication.
Figure 3. QPN model for double communication.
Mathematics 13 03159 g003
Figure 4. QPU and classical interface.
Figure 4. QPU and classical interface.
Mathematics 13 03159 g004
Figure 5. QPN representation.
Figure 5. QPN representation.
Mathematics 13 03159 g005
Figure 6. Quantum place representation.
Figure 6. Quantum place representation.
Mathematics 13 03159 g006
Figure 7. Quantum Petri Net representation.
Figure 7. Quantum Petri Net representation.
Mathematics 13 03159 g007
Figure 8. Theoretical repeated quantum task execution.
Figure 8. Theoretical repeated quantum task execution.
Mathematics 13 03159 g008
Figure 9. Practical repeated quantum task execution.
Figure 9. Practical repeated quantum task execution.
Mathematics 13 03159 g009
Figure 10. External controlled quantum task execution.
Figure 10. External controlled quantum task execution.
Mathematics 13 03159 g010
Figure 11. Generic template of quantum task.
Figure 11. Generic template of quantum task.
Mathematics 13 03159 g011
Figure 12. Single crossroad template.
Figure 12. Single crossroad template.
Mathematics 13 03159 g012
Figure 13. Urban vehicle traffic structure.
Figure 13. Urban vehicle traffic structure.
Mathematics 13 03159 g013
Figure 14. Input flow split QPN model.
Figure 14. Input flow split QPN model.
Mathematics 13 03159 g014
Figure 15. Exit flow QPN model.
Figure 15. Exit flow QPN model.
Mathematics 13 03159 g015
Figure 16. QPN model of one-lane flows.
Figure 16. QPN model of one-lane flows.
Mathematics 13 03159 g016
Figure 17. Polar plot of a qubit.
Figure 17. Polar plot of a qubit.
Mathematics 13 03159 g017
Figure 18. Implementation of input flow split QPN model.
Figure 18. Implementation of input flow split QPN model.
Mathematics 13 03159 g018
Figure 19. QPN model of an intersection.
Figure 19. QPN model of an intersection.
Mathematics 13 03159 g019
Figure 20. QPN model of UVTC system.
Figure 20. QPN model of UVTC system.
Mathematics 13 03159 g020
Figure 21. Component diagram of quantum-centric system.
Figure 21. Component diagram of quantum-centric system.
Mathematics 13 03159 g021
Figure 22. One-qubit-per-flow lane simulation.
Figure 22. One-qubit-per-flow lane simulation.
Mathematics 13 03159 g022
Figure 23. Four-qubit-per-flow lane simulation.
Figure 23. Four-qubit-per-flow lane simulation.
Mathematics 13 03159 g023
Figure 24. One-qumode-per-flow lane simulation.
Figure 24. One-qumode-per-flow lane simulation.
Mathematics 13 03159 g024
Figure 25. Flow evolution of controlled UVTS.
Figure 25. Flow evolution of controlled UVTS.
Mathematics 13 03159 g025
Table 1. Node significance of Figure 1 model.
Table 1. Node significance of Figure 1 model.
NodeTokenOperationDimensionDomainSignificance
p 0 | Φ + -2QuantumBell state
t 0 -entangle 2 + 2 QuantumTeleportation
p 1 | Ψ 1 -2QuantumTo send
p 2 | Φ + -2QuantumEntangled state
t 1 - U 1 = ( I , X O R ) 2 × 2 , 2 × 2 QuantumMultiplication
p 3 ( | Ψ 3 , | Φ 3 ) | Ψ 1 X O R | Φ + 2 , 2 QuantumComposition
t 2 - U 2 = ( H , I ) 2 × 2 , 2 × 2 QuantumRotation
p 4 ( | Ψ 4 , | Φ 4 ) - 2 , 2 QuantumRotation
t 3 -measurement 2 , 2 MixedConversion
p 5 ( b 0 , b 1 ) -2, 2ClassicalVector
t 4 -store(2, 2)ClassicalMemory
p 6 ( b 0 , b 1 ) - 2 , 2 Classical2 bits
t 5 -transmission 2 + 2 ClassicalTeleportation
p 2 | Φ + -2QuantumEntangled state
t 1 -I 2 × 2 QuantumCopy
p 3 | Φ + -2QuantumEntangled state
t 2 - i f b 0 then X 2 × 2 MixedControlled
p 4 | Φ x -2QuantumRotated state
t 3 - i f b 1 then Z 2 × 2 MixedControlled
p 5 | Ψ 1 -2QuantumReceived
Table 2. Node significance for one qubit per flow of Figure 20 model.
Table 2. Node significance for one qubit per flow of Figure 20 model.
NodeTokenOperationDimensionDomainSignificance
P 0 V X init 16 × 2 Quantum | 0 Initialization
P c 0 Θ X - 16 × 2 ClassicalState initialization
T 0 - U ( Θ x ) 16 × 2 QuantumInitialization
P 1 | X - 16 × 2 QuantumFlow states
P c 1 Γ 1 - 16 × 2 ClassicalPhase 1 parameter
T 1 - U ( Θ 1 ) 4 × 4 QuantumPhase 1 open
P 2 | X - 16 × 2 QuantumFlow states
P c 2 Γ 2 - 16 × 2 ClassicalPhase 2 parameter
T 2 - U ( Θ 2 ) 4 × 4 QuantumPhase 2 open
P 3 | X - 16 × 2 QuantumFlow states
P c 3 Θ 3 - 16 × 2 ClassicalOutflow parameter
T 3 - U ( Θ 3 ) 4 × 4 QuantumOutflow move
P 4 | E - 16 × 2 QuantumExit flows
T 4 - j o i n 16 + 16 QuantumFlow moves
P 5 [ | U i | E ] join 16 × 2 QuantumInput flows
P c s Θ s - 16 × 2 ClassicalSplit parameter
T s - U ( Θ s ) 4 × 4 QuantumFlow split
P 6 [ | U f | U r ] - 16 × 2 QuantumInput flows
P m e 1-1ClassicalMeasurement
P m u 1-1ClassicalMeasurement
T m e - m e a s u r e m e n t 4 × 4 QuantumCollapse
T m u - m e a s u r e m e n t 4 × 4 QuantumCollapse
P m 1 E m -16ClassicalMeasured E m
P m 2 U m - 16 × 2 ClassicalMeasured ( U m f , U m r )
Table 3. Quantum operation parameters for qumode simulation.
Table 3. Quantum operation parameters for qumode simulation.
CycleStep 1Step 2Step 3Step 4
6(0.247, −0.631)(0.000, 3.188)(0.000, 0.498)(0.000, −3.065)
7(0.216, 0.766)(0.202, −2.745)(0.000, −0.128)(0.000, 0.602)
7(0.258, −3.226)(0.949, −2.174)(0.000, −2.290)(0.000, −0.906)
9(0.322, −2.568)(1.013, −4.133)(0.000, −3.153)(0.000, 1.999)
10(0.867, −1.105)(0.000, 3.330)(0.000, 0.066)(0.000, −0.645)
11(0.538, 4.272)(0.000, −1.758)(0.000, 0.152)(0.000, 1.706)
Table 4. Optimal control parameters.
Table 4. Optimal control parameters.
MethodScenario α γ , 1 α γ , 2 α γ , 3 α γ , 4 FitnessGeneration
GA10.5160.4570.3430.4223.198916
PSO10.5680.4810.4070.3883.19893
GA20.5360.4470.5850.4333.897120
PSO20.5740.5640.4750.4753.89715
GA30.7030.6690.5180.1951.59899
PSO30.7380.6320.5120.2571.59892
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Letia, T.S.; Avram, C.; Al-Janabi, D.; Miu, I.; Cuibus, O. Development of Dynamic System Applications Using Distributed Quantum-Centric Computing. Mathematics 2025, 13, 3159. https://doi.org/10.3390/math13193159

AMA Style

Letia TS, Avram C, Al-Janabi D, Miu I, Cuibus O. Development of Dynamic System Applications Using Distributed Quantum-Centric Computing. Mathematics. 2025; 13(19):3159. https://doi.org/10.3390/math13193159

Chicago/Turabian Style

Letia, Tiberiu Stefan, Camelia Avram, Dahlia Al-Janabi, Ionel Miu, and Octavian Cuibus. 2025. "Development of Dynamic System Applications Using Distributed Quantum-Centric Computing" Mathematics 13, no. 19: 3159. https://doi.org/10.3390/math13193159

APA Style

Letia, T. S., Avram, C., Al-Janabi, D., Miu, I., & Cuibus, O. (2025). Development of Dynamic System Applications Using Distributed Quantum-Centric Computing. Mathematics, 13(19), 3159. https://doi.org/10.3390/math13193159

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop