Author Manuscript

Author Manuscript

HHS Public Access
Author manuscript
IEEE Access. Author manuscript; available in PMC 2026 February 25.
Published in final edited form as: IEEE Access. 2026 ; 14: 14286–14301. doi:10.1109/access.2025.3645087.
A Numerical Comparison of Petri Net and Ordinary Differential Equation SIR Component Models
TREVOR RECKELL1, BRIGHT KWAKU MANU2, BECKETT STERNER3 [Member, IEEE], PETAR JEVTIĆ1, REGGIE DAVIDRAJUH4 [Senior Member, IEEE] 1School of Mathematical and Statistical Sciences, Arizona State University, Tempe, AZ 85287, USA 2School of Computing and Augmented Intelligence, Arizona State University, Tempe, AZ 85287, USA 3School of Life Sciences, Arizona State University, Tempe, AZ 85287, USA 4Faculty of Science and Technology, University of Stavanger, 4021 Stavanger, Norway
Abstract
Petri nets are an increasingly used modeling framework for the spread of disease across populations or within an individual. For example, the Susceptible-Infectious-Recovered (SIR) compartment model is foundational for population epidemiological modeling and has been implemented in several prior Petri net studies. While the SIR model is typically expressed as Ordinary Differential Equations (ODEs), with continuous time and variables, Petri nets operate as discrete event simulations with deterministic or stochastic timings. We present the first systematic study of the numerical convergence of two distinct Petri net implementations of the SIRS compartment model relative to the standard ODE. In particular, we introduce a novel deterministic implementation of the SIRS model using variable transition weights in the GPenSIM package and stochastic Petri net models using Spike. We show how rescaling and rounding procedures are critical for the numerical convergence of Petri net SIR models relative to the ODEs, and we achieve a relative root mean squared error of less than 1% compared to ODE simulations for biologically relevant parameter ranges. Our findings confirm that both stochastic and deterministic discrete time Petri nets are valid for modeling SIR-type dynamics with appropriate numerical procedures, laying the foundations for larger-scale use of Petri net models.
INDEX TERMS Petri nets; differential equations; ODE; epidemiology; modeling; RRMSE; RMSE
This work is licensed under a Creative Commons Attribution 4.0 License. For more information, see https://creativecommons.org/ licenses/by/4.0/ Corresponding author: Beckett Sterner (beckett.sterner@asu.edu). CONFLICT OF INTEREST The authors declare no conflict of interest.

Author Manuscript

Author Manuscript

Author Manuscript

Author Manuscript

RECKELL et al.

Page 2

I. INTRODUCTION
Petri nets (PNs) are a discrete event mathematical formalism that has become an increasingly popular modeling tool in epidemiology and other areas of the life sciences. Recent applications include models of Covid-19 spread within and across countries [1], [2], pertussis vaccination [3], social-ecological systems [4], rumor propagation in social networks [5], and the behavior of network motifs [6]. Key features of the Petri net formalism include the ability to construct modular, combinatorial models [6], [7], [8]; the ease of visualizing and interpreting Petri net models for those without a strong background in mathematics; and advances in software implementations that enable large-scale simulation including deterministic and stochastic behaviors [9], [10], [11], [12]. Furthermore, recent work has highlighted the importance of statistical sensitivity analysis and stochastic stability in epidemic models, reinforcing the need for rigorous comparison between modeling frameworks [13], [14]. Recent studies have also expanded the scope of Petri net modeling to capture the complex, multi-scale dynamics of immune responses within individuals [15], highlighting the versatility of Petri nets beyond traditional population-level compartmental models. However, some essential questions remain about how Petri net implementations of basic epidemiological models such as Susceptible-Infectious-Recovered (SIR) models relate to their standard formulations using Ordinary Differential Equations (ODEs) in epidemiology. While prior theoretical results indicate that Petri net SIR models can be made to converge asymptotically to the behavior of ODE and Stochastic Differential Equation (SDE) counterparts [16], there has been little systematic investigation of the numerical conditions under which this occurs using contemporary software tools. For example, the fitting and forecasting abilities of Petri nets compared to ODEs are not considered in [8], [17], [18], and [19]. Recent theoretical frameworks have established Petri nets as a rigorous foundation for deriving key epidemiological metrics like the basic reproduction number [20], while others have successfully applied Coloured Petri Nets to model stratified pandemics with complex spatial dynamics [2]. These advances underscore the urgency of validating the numerical fidelity of Petri nets against the ODE standards used in mainstream epidemiology. Understanding precisely when and how Petri net SIR models may diverge from ODE or SDE systems is critical for large-scale combinatorial modeling efforts [6], [7], [8], [21].
In this work, we investigate the numerical convergence of two Petri net implementations to an ODE SIRS model. The second S in SIRS indicates that individuals may become susceptible again after recovering from an infection. We present a novel implementation of SIR-type models using variable arc weights for transitions in a Petri net model with deterministic time steps using the GPenSIM toolkit. We also analyze a Continuous-Time Markov Chain (CTMC) Petri net with stochastic time steps using the Spike toolkit. We evaluate the behaviors of these Petri net models to numerical solutions of ODE model using a standard MatLab differential equation solver.
We find that both Petri net models can be made to converge to within 1% relative root mean squared error (RRMSE) of the ODE using appropriate rescaling of population size in the case of the CTMC Petri Model and a combination of population size and time step in the variable arc weight model. We also find that the choice of numerical rounding procedures

Author Manuscript

Author Manuscript

IEEE Access. Author manuscript; available in PMC 2026 February 25.

Author Manuscript

Author Manuscript

RECKELL et al.

Page 3

has a significant impact on the RRMSE of the variable arc weight model when the infected population is close to zero. Our results, therefore, provide a valuable guide for the numerical simulation of SIR dynamics under biologically realistic parameter values.

In section II-A we introduce some basics of the Petri net formalism and introduce two different ways that Petri nets can be simulated. In section II-B and II-C we discuss specific ways in how PN simulations can be improved in relation to a known system of ODEs within the software framework that we have laid out. Lastly, in section III the PN simulation methods are compared to ODEs and results of how the PN simulation improvement methods affect the computation time are shown. In section IV we conclude how the methods we laid out set the groundwork for proper implementation of Petri nets.

II. METHODOLOGY
Our approach is based on the numerical comparison of PN models to ODEs, which are a standard modeling framework used in fields such as epidemiology, drug pharmacokinetics, and cancer biology [22], [23], [24], and [25]. The SIR model is the most commonly used in epidemiology, and it also serves as the foundation for a large family of more complex models. Kermack and McKendrick initially derived the model in 1927 [26] by structuring the total host population into repetition three different “compartments”: S denoting the susceptible population, I denoting the infected population, and R denoting the recovered population. Equations 1–3 describe the resulting system behavior, with the parameter β representing the rate at which susceptible populations become infected and γ representing the rate at which the infected population recovers per unit of time.
To ensure reproducibility of the numerical comparisons, the specific parameter ranges and initial conditions used for the reference ODE solutions and PN simulations are detailed in Table 1.
The classical SIR model assumes that there is no birth, death, immigration, or emigration, that populations mix homogeneously, that new infections are not dependent on other factors besides βSI, and that there is an exponential waiting time for events to happen in each compartment. In practice today, the original SIR model is typically used as a basis for constructing more complex models that include disease-specific dynamics and various ways of treating or preventing the disease.
For example, the SIR model can easily be adapted to the SIRS model by adding the term δR, which represents the rate at which hosts become re-susceptible per unit of time. By adding δR to the S compartment and subtracting it from the recovered population R compartment, we get Equations 1–3. Note that when δ = 0, Equations 1–3 are equivalent to an SIR model.

dS dt

=

δR − βSI

(1)

Author Manuscript

Author Manuscript

IEEE Access. Author manuscript; available in PMC 2026 February 25.

Author Manuscript

Author Manuscript

RECKELL et al.

dI dt

= βSI − γI

Page 4 (2)

dR dt

=

γI

−

δR .

(3)

A. FUNDAMENTALS OF PETRI NETS

A Petri net graph, or Petri net structure, is a weighted bipartite graph [27] defined as n-tuple P , T , A, w, x where,

• P is the finite set of places (one type of vertex in the graph).

• T is the finite set of transitions (the other type of vertex in the graph).

• A is the set of arcs (edges) from places to transitions and from transitions to places in the graph A ⊂ P × T ∪ T × P .

•

M0 is the initial state (also known as marking), M0 = m1, m2, …, mn , where mi is

the number of tokens in place pi.

•

w: A 1,2, 3, … is the weight function on the arcs.

•

x is a marking of the set of places P; x = x p1 , x p2 , …, x pn ∈ Nn is the row

vector associated with x.

Tokens are assigned to places, with the initial assignment being the initial marking. The number of tokens assigned to a place is an arbitrary non-negative integer but does not necessarily have an upper bound. A transition tj ∈ T in a Petri net is said to be enabled if x pi ≥ w pi, tj for all pi ∈ I tj , where I tj is the set of input arcs from places to tj. This allows us to define the state transition function, f : ℕn × T ℕn, such that transition tj ∈ T fires if and only if x pi ≥ w pi, tj for all pi ∈ I tj . If f x, tj is defined, then we set x′ = f x, tj , where x′ pi = x pi − w pi, tj + w tj, pi , i = 1, …, n. In simple terms, a transition is enabled if the number of tokens in all places connected to that transition via an incoming arc is greater than or equal to the arc weight for the respective arc connected to the transition.

In order to be precise about the relative time scales of firing events in PN models versus

ODE models, we define τ to be the number of steps per unit of time in a Petri net with

deterministic time steps and firings. The graph then can be defined as P , T , A, w, x, τ as

applied to the deterministic implementation of a Petri net used in GPenSIM [9], [28], where

1 τ

is

called

sampling

frequency

and

Davidrajuh

defines

τ

as

the

continuity

of

the

sequence

of

execution.

Author Manuscript

Author Manuscript

IEEE Access. Author manuscript; available in PMC 2026 February 25.

Author Manuscript

Author Manuscript

RECKELL et al.

Page 5

The last fundamental element of Petri nets for our purposes is how the diagrams are drawn. We use the visual elements shown in Figure 1 to describe the logic of both deterministic Petri nets with variable arc weights and stochastically firing Petri nets with fixed arc weights.

B. PETRI NET IMPLEMENTATIONS
A variety of Petri net simulation and software tools are freely available online, all with relative advantages and disadvantages [29], [30]. The most commonly used tools, such as GPenSIM, Snoopy, CPNTools, and Spike, can handle a range of different Petri net types. We will focus on two tools, GPenSIM and Spike, based on their robust features for scalable modeling and simulation analysis and command-line interfaces for scripting.

1) GPENSIM: The General-purpose Petri net Simulator (GPenSIM) package is a new tool for the MATLAB platform. GPenSIM is designed for modeling, simulation, and performance analysis of discrete systems. There were many reasons for developing GPenSIM [9] with the primary motivation being to create a system that is easy to learn and use for both industrial and academic applications. Interoperability was also a priority so that GPenSIM can model discrete systems in different domains such as Production and Mechanical Engineering, Industrial Engineering, Computer Science and Engineering, etc., taking full advantage of MATLAB’s numerous functions in diverse toolboxes. Another goal was to provide a simple core engine with an extensible interface so that users can modify GPenSIM functions or create new functions to model their systems.
The initial version of GPenSIM was developed for simple analyses of place/transition Petri nets [9]. Later, coloring capability (Colored Petri nets) was added so that real-life systems could be modeled [11]. For modeling large real-life systems, modular modeling capability was added [10].
Petri nets implemented by GPenSIM are fundamentally deterministic, and GPenSIM allows Petri nets with non-variable arc weights, which we call static Petri nets. These static Petri nets are defined as to have arcs that are constant throughout the entire simulation. At the start of the simulation, a static Petri net graph must be defined in a separate file (Petri net Definition File (PDF)), and this file will be used throughout the simulation. The limitations of a static Petri net can be overcome using a variable arc weight Petri net implemented using an iterative approach as follows. One starts with a static Petri net graph with some initial arc weights (initial definition file). The PN simulation is run for one time step, and the resulting places markings are then used to calculate updated arc weights, which are fed into a new PDF file for the next iteration. Since the PN definition file must be recreated for each iteration step, execution time may be an important issue to consider.

2) SPIKE: Spike is a Petri net simulation framework designed to model dynamic systems using stochastic and deterministic approaches. It emphasizes reproducibility for stochastic simulations by using repeatable configuration files, denoted by the “.spc” file type [12]. Spike also supports diverse simulation methods for Continuous-Time Markov Chain (CTMC) processes, including Gillespie’s direct method for exact stochastic modeling [31], tau-leaping and delta-leaping for efficient approximations [32], and deterministic ODE

Author Manuscript

Author Manuscript

IEEE Access. Author manuscript; available in PMC 2026 February 25.

Author Manuscript

Author Manuscript

RECKELL et al.

Page 6

solvers for large-scale systems. By definition, a CTMC describes a discrete set of system states where the future state of a system depends only on its current state (memoryless), and the time between transitions to another state follows an exponential distribution.
Spike also has multiple notable features and capabilities [12]. Efficient simulation is one important feature, since Spike supports the automated execution of large sets of simulations, which can be run sequentially or in parallel. Spike also supports the simulation of stochastic, continuous, and hybrid Petri nets, accommodates colored and uncolored variants, and leverages its integration with the broader PetriNuts software framework. Spike is also designed to support various use cases, including benchmarking, adaptive model simulations, parameter scans, and model optimization. However, the underlying code of Spike is not publicly available, which limits one ability to inspect and debug the exact steps being executed by different functions.

C. PETRI NET SIRS MODELS IN SPIKE AND GPENSIM
We now turn to describe the SIRS model in both a deterministic, variable arc weight form using GPenSIM and a stochastic, fixed arc weight form using Spike. In both cases, a PN model can be stated that preserves the corresponding ODE model’s assumptions (such as waiting times and closed population) and biological dynamics (such as positive populations and susceptible populations always able to be infected). However, the implemented PN models have different theoretical arcs, arc weights, and resulting dynamics. Figures 2 and 3 illustrate these differences relative to the SIRS ODE Equations 1–3.
The layout in Figure 2 reflects the application of the mass action equation from chemical reactions to determine the pattern of arcs and weights that correspond to the ODE system [33], [34]. Although the arc weights are shown as static, the frequency at which the arcs fire is dynamic as a function of βSI over time because the Petri net is implemented as a CTMC. The arc weights themselves in this layout therefore describe only the stoichiometry of tokens from each place involved in a transition.
Shifting to a deterministic PN, we have fixed time steps and the arc weights change dynamically with each time step. A key change from the CTMC layout in Figure 2 is the removal of the arc from place I to transition t1. Additionally, the arc weights are now a function of time since their value at a time point depends on the number of tokens in one or more compartments, and they directly represent the flow of tokens between compartments instead of the stoichiometry of reactions. This shift in semantics is matched by having the deterministic PN fire on uniformly separated, discrete time points instead of stochastically in continuous time.

D. NUMERICAL FEATURES OF DETERMINISTIC PN MODEL
We describe three numerical features that need to be addressed for the novel deterministic implementation of the SIRS model using GPenSIM: handling of discrete population sizes, rounding of non-integer arc weights, and choice of simulation time step τ.

Author Manuscript

Author Manuscript

IEEE Access. Author manuscript; available in PMC 2026 February 25.

Author Manuscript

Author Manuscript

RECKELL et al.

Page 7

1) DISCRETE POPULATION SIZES: Since Petri net implementations in GPenSIM use

discrete token values for the SIR compartments, this may disable the firing of transitions

even when the arc weights and place markings are both non-zero, leading the Petri net

dynamics to diverge from the corresponding ODE solution. For example, the arc going into

transition

1

has

a

variable

arc

weight

of

βSI

(see

Figure

3).

If

S

=

1

and

I

>

1 β

,

this

arc

will

not fire even though the one susceptible individual should in principle become infected. We

consider two solutions for this biologically implausible scenario.

For example, using the options outlined in Figure 4, we can allow for the transition to fire

even if the arc weight is initially higher than the place has tokens, specifically if the system

is calling for a number of tokens to be moved from place S (susceptible population) to place

I (infected population), which is larger than the number of tokens in place S. The transition

would normally not fire until enough tokens have built up in place S (susceptible population)

or the arc weight has changed to a lower value. However, this does not follow the biological

dynamics described in the reference ODE model. First, we define β, β1, and β2 to have a

range of [0, 1], as they represent the proportion of individuals who become sick through

contact with an infected individual. Thus, we can adapt either 4a or 4b implementations to

allow a firing to occur still, since in both implementations, β2S is always greater than S,

since β2 is defined as less than one. In Figure 4a, we allow the formula for the arc weight

to switch when the transition is disabled, where this transition being disabled corresponds

biologically to not being able to infect the susceptible population. The formula goes from

β1SI

to

β2S

where

β2

=

I

1 +

1

.

If

β2

≤

1 I

,

then

the

transition

will

be

enabled,

but

the

formula

for β2 could be set to anything in the range of

0,

1 I

. The formula will depend on the system

being modeled and the desired dynamics. The method laid out in Figure 4b is similar, just

with

a

different

transition

being

enabled

if

I

>

1 β1

,

rather

than

the

formula

for

the

arc

weight

changing for the same transition. Another method of dealing with these extreme values is

outlined in the PN time steps per unit time in Section II-D3. Additionally, population scaling

can mitigate the effect this issue has on overall results as seen in Section III-C.

2) INTEGER ARC WEIGHTS: Petri net simulation software, as a whole, does not have a standardized method for rounding dynamic arc weights, also called repetition arc expressions in some software documentation [35], [36]. Using the standard PN approach, rounding the arc weight is necessary to have the arc weights be positive integers. If positive integer arc weights is difficult or unreasonable for the Petri net application, one could use continuous weights and token values. Unfortunately, the software options for building scalable, complex models with continuous value arc weights are minimal. Among dynamic arc weight PN software with discrete arc weight values, there is no standardized rounding system for the dynamic arc weights. With this in mind, the question arises about what rounding system should be used. The initial functions we will explore are the ceiling function (weights are rounded up to the nearest positive integer), floor function (weights are rounded down to the nearest positive integer), and standard rounding (weights are rounded

Author Manuscript

Author Manuscript

IEEE Access. Author manuscript; available in PMC 2026 February 25.

Author Manuscript

Author Manuscript

RECKELL et al.

Page 8

down to the nearest positive integer when the tenths place is less than five and up to the nearest positive integer when the tenths place is greater than or equal to five).
In addition, we propose another rounding method that utilizes standard rounding with the addition of carrying the residual of the rounding process to the next time step. In the next time step, the residual is added to the same arc’s weight before that weight is rounded again. This process is repeated each time the dynamic arc weight is recalculated. This process could be done with other rounding functions, like ceiling or floor functions, and we will compare this “standard + residual” method with many other possible rounding methods more rigorously in future work. These rounding methods will each likely have their own drawbacks in terms of computation time and memory, but our primary goal here is for the resulting PN to most closely mimic that of the reference ODE.

3) TIME SCALES: When changing τ in the deterministic PN, the other parameters

implemented are dependent on a respective time unit, so they need to be scaled to ensure

they are applied appropriately. For instance, if the susceptible population becomes infected

at a rate of 5% per unit of time, β = 0.05, and we are changing the PN time step to

twenty

time

steps

per

one

unit

of

ODE

time,

then

we

need

to

scale

β

by

1 20

giving

β

=

0.05

⋅

1 20

=

0.0025 .

With

the

lower

parameter

value,

this

method

also

has

the

benefit

of

avoiding the situation of not allowing the transition to fire as frequently as laid out in Section

II-D1.

With either method, varying time steps or firing times, there will be a significant trade off in computation time. As such, we will calculate the mean computation time when running the model for various time steps to gauge what time step level is necessary given the desired dynamic level and computational power available.

E. COMPARISON OF PETRI NET TO ODE MODELS
We will compare the behaviors of both PN models to the ODE system under the full permitted range of the rate parameters β, γ, and δ. For simplicity, our code follows the notation for root mean square error used in MATLAB. We denote the observed data vector as A, where Ai is a single vector entry indexed by the time point i. The forecasted data is denoted as F, where Fi is a single forecasted vector entry indexed by the time point i. Finally, n represents the total number of time points being compared. The RRMSE formula is:

RRMSE = 100 ⋅

1 n

n i

=

1

Ai

−

Fi

2

n i=

1

Ai

2

Author Manuscript

Author Manuscript

where Ai is the ODE model data, and Fi is the forecasted PN model data in our application. We aim to understand how the RRMSE is affected by rescaling key model parameters, specifically the total population size N in both models and the base time step τ in
IEEE Access. Author manuscript; available in PMC 2026 February 25.

Author Manuscript

Author Manuscript

RECKELL et al.

Page 9

the deterministic model specifically. These parameters are known to control the relative asymptotic convergence of PN, ODE, and SDE systems for the SIR model [16]. Since the deterministic, dynamic arc weight implementation of the SIRS model is novel in the PN literature, we give more attention to the details of its implementation than the Spike CTMC model. In particular, we will discuss different rounding strategies for the variable arc weights.

III. RESULTS
Before comparing the deterministic PN model to the reference ODE system, it is necessary to first address which rounding method is best, since this will affect how the model behaves under rescaling of total population size N and time step τ.
A. ARC WEIGHT ROUNDING IN GPENSIM MODEL
We tested the various rounding methods for parameters β, γ, and δ, rate of infection, rate of recovery, and rate of re-susceptibility respectively, as laid out in the SIRS model for ODE and PN at extreme values, including (0,0,0) and (1,1,1), as well as intermediate, biologically plausible values.
In all of the Figure 5‘s subfigures, the PN time steps per unit time τ is set to 20. Initially, when viewing Figures 5a, 5c, and 5e, we can see that the non-residual rounding methods are unable to capture the dynamics of the ODE at all. Granted, this is for the most extreme case for the parameter values, but it is important that the PN model is capable of capturing the dynamics for all values [0,1] for β, γ, and δ. When looking at more biologically plausible values of β, γ, δ = 0.05 in Figures 5b, 5d, and 5f we can see that the nature of PN firing only when transitions are enabled combined with the extreme value situation as laid out in section II-D1, the dynamics behave like a 2-cycle. Without the extra logic statements laid out in section II-D1, the dynamics are even less biologically plausible, though, with no new infected even with high levels of infected and susceptible, simply with S < βSI.
B. RESCALING OF BASE TIME STEP IN GPENSIM MODEL
The PN model, as seen in Figure 3, with different PN time steps per unit time τ are compared to the ODE model Equations 1–3 with the same parameters values using RRMSE. The parameter grid chosen was a linearly spaced grid of size ten between [0,1] for parameters β and γ. These are the x-axis and y-axis, respectively, for all of the sub-figures in Figures 6–27. Then for δ there is a logarithmic spaced grid of size five between [0,1] going from the top to bottom row of Figures 6–27.
When the τ = 1, in Figure 6 the RRMSE performance is relatively poor, especially for higher values of β, γ, and δ. This low τ value displays the problem of comparing a discrete versus a continuous time system with large swings in population happening instantly at the time step, not allowing the dynamics of the PN to come close to matching that of an ODE continuous system. These sharp dynamics combined with the additional firing mechanisms of PN means the RRMSE values produced are relatively large.

Author Manuscript

Author Manuscript

IEEE Access. Author manuscript; available in PMC 2026 February 25.

Author Manuscript

Author Manuscript

RECKELL et al.

Page 10

Figure 7 shows the vast improvement in RRMSE with utilizing higher PN time steps per unit time. With this one change, the maximum RRMSE becomes approximately 4.3, and the visual improvement at extreme values is considerable.
As τ increases from one to eighty, there is an overall reduction of RRMSE with each subsequent increase of the PN time steps per unit time, which can be more clearly seen in Figure 9. This can be seen for each run in Figures 6,7,8 and Figures 26,27 in the appendix.

C. POPULATION SCALING FOR GPENSIM AND SPIKE MODELS
The stochastic Petri net system used in Spike and the dynamic arc weight Petri net system used in GPenSIM both use discrete time and rounding of arcs weights to whole numbers. As such, it was theorized that scaling the initial populations and descaling after the simulations have occurred would reduce overall RRMSE [16].
For GPenSIM we started with a τ = 60 since this setting lead to small RRMSEs overall and lower computation time. Figure 12 shows the results of rescaling the population size by a factor of 4.

In Figure 12, all of the parameter value combinations produce RRMSE less than 1%, with the majority of the values being less than 0.1%. While it depends on the application, we consider this to be an acceptable level for the Petri net model.

When fitting parameters to a Petri net model using data and wanting to maintain a low RRMSE in relation to a corresponding ODE model, finding the minimum population scalar and τ value to minimize computation time is an important and practical problem. Figure 15 shows what this process can look like across a single parameter set β = 0.1, γ = 0.5, δ = 0.001 . From Figure 15 we can see that if we are focused on the all populations maintaining RRMSE below 0.1%, then a population scalar of 1 and τ = 40 would suffice. An algorithm could then be developed for optimizing conditions over the parameter ranges to minimize fitting computation time, but this is a subject for future work.

For Spike, we can not directly alter the τ value, but we can directly alter the initial population size. Given Spike’s relatively low computation time for the SPN, we were able to raise the population scalar to much higher values, starting at one and going up by order of magnitude each time. We stopped when we reached a level of less than 1% RRMSE across all parameter values for the direct and tau-leaping method for SPNs. Though Spike demonstrates significantly better computational efficiency relative to GPenSIM, we limited all SPN simulations in Spike to 500 trials. This ensures manageable computation times while maintaining the accuracy and statistical robustness needed for meaningful results.
In Figures 16–18 we see the RRMSE drop as the population scalar increases, to a level where for all parameter values are less than 1% RRMSE with a population scalar of 100 for the direct method. Beyond a population scalar of 100, the regions of less than 0.1% RRMSE remain nearly identical when the population scalar is raised by an order of magnitude. This likely indicates that either an asymptotic convergence of the means is occurring or some other factor is limiting the RRMSE from decreasing further.

Author Manuscript

Author Manuscript

IEEE Access. Author manuscript; available in PMC 2026 February 25.

Author Manuscript

Author Manuscript

RECKELL et al.

Page 11

We note that the computing demand for single runs of these simulations are low enough to run on a laptop and do not require a supercomputer cluster. However, when running large sets of parameters, with large population scalars and large τ values parallelization, a supercomputer, or both, will allow for the simulations to be run in a reasonable time. For Figures 10,14,19, and 24 the values were found while being run in MATLAB 2024b, using GPenSIM v. 10 software and Spike v1.6 respectively, on a computer with a 2.3 GHz 8-Core processor, with 64 GB of memory. These models were also run on the Arizona State University SOL supercomputer, where even when allocated four cores and 32 GB of memory, the models only had a maximum memory used value of 5.6 GB.

IV. DISCUSSION AND CONCLUSION
Petri nets are increasingly used to model the dynamics of infectious disease spread, building on a deep literature of ODE models. However, few studies have examined the numerical equivalency of Petri net models to reference ODE systems, especially beyond the most basic SIR model. In this paper, we introduced a novel PN implementation of SIR-type models using a discrete-time, variable arc weight framework in the software package GPenSIM. We explored the numerical equivalency of this variable arc weight model to an SIRS ODE model, and we found that several choices in implementation are important for matching the ODE dynamics, including the rounding method used for non-integer arc weights and rescaling of the time step for large arc weight values. We also compared the behavior of a continuous-time Markov Chain PN using the software package Spike. For both types of PN, we found that rescaling the population size led to major improvements in the relative root mean square error comparing the PN trajectories to the reference ODE behavior. This indicates that PN models do not necessarily generate identical dynamics to their ODE counterparts, and that prior numerical studies are an important tool for ensuring similarity.
Variable arc weight Petri nets using GPenSIM software represent a useful technical breakthrough in Petri net modeling by allowing dynamic adjustments to the arc weights based on real-time conditions or external state changes rather than static values. This numerical flexibility is complemented by recent theoretical advancements. For instance, Reckell et al. [20] demonstrated that the basic reproduction number R0 can be rigorously derived for Petri net models using a Next-Generation Matrix approach. Together, these findings ensure that Petri net models are grounded in the same fundamental epidemiological metrics as their ODE counterparts while offering distinct modeling advantages. GPenSIM’s ability to incorporate variable arc weights yields an additional PN modeling option beyond the CTMC framework. Furthermore, the flexibility of this framework extends beyond the SIRS model presented here. The modular nature of Petri nets allows for the straightforward addition of compartments, such as an Exposed (E) state for SEIRS models, or stratification by age and risk groups. As explored in Reckell et al. [20], this framework supports complex SEIR models, demonstrating that metrics like R0 remain derivable even with variable arc weights. This adaptability makes the numerical convergence findings presented here relevant for a broad class of compartmental epidemiological models.
Our results demonstrate that parameter optimization is key to balancing accuracy and computational cost. As shown in Figure 15, the relationship between population scalars

Author Manuscript

Author Manuscript

IEEE Access. Author manuscript; available in PMC 2026 February 25.

Author Manuscript

Author Manuscript

RECKELL et al.

Page 12

and time steps τ reveals a clear optimization surface where computational efficiency can be maximized while maintaining a low RRMSE. Furthermore, the convergence behavior detailed in Figures 20 and 25 for the Spike implementation highlights that while stochastic noise is present at lower populations, both the direct and tau-leaping methods consistently converge to the ODE solution as the population scalar increases. This validates the robustness of the approach across different simulation methodologies, even when initialized with parameters outside the primary grid search as seen in Figures 20 and 25.
The demonstrated convergence has practical implications for modeling real-world disease networks, such as zoonotic spillover events or COVID-19 transmission in heterogeneous populations. In these scenarios, the ability of Petri nets to handle discrete events and individual-level stochasticity while maintaining numerical fidelity to population-level ODEs provides a robust tool for capturing dynamics that purely continuous models may miss.
The code for all of the models can be found in the GitHub https://github.com/trevorreckell/ Numerical-Comparison-of-PN-vs-ODE-for-SIR. The code contains the model laid out as PN, and the corresponding ODE is defined as a function.

LIMITATIONS AND FUTURE WORK
While our study confirms the feasibility of PN convergence to ODEs, it also highlights limitations to consider. First, the computational efficiency of the deterministic GPenSIM implementation is lower than that of the CTMC approach in Spike. Future work should investigate optimization strategies, such as modularizing the Petri net structure to enable parallel execution on high-performance computing clusters. We validated convergence for time and population rescaling, but conducting a complete factorial experimental design to identify the global optimum across all parameter combinations was not the focus. Developing an algorithm to optimize time steps and population scaling for parameter fitting is a worthwhile future project. Finally, our convergence results rely on the law of large numbers. In scenarios with extremely small populations (< 10 individuals), stochastic deviations in the Petri nets are a feature, not a bug, and direct comparison with ODEs becomes less meaningful.

Acknowledgments
The work of Trevor Reckell, Bright Kwaku Manu, Beckett Sterner, and Petar Jevtić was supported by NIH under Grant 5R01GM131405-02.
Biographies
TREVOR RECKELL received the B.S. degree in mathematics and the M.S. degree in applied mathematics from Arizona State University (ASU), Tempe, AZ, USA, in 2018 and 2020, respectively, where he is currently pursuing the Ph.D. degree in applied mathematics.
He was an Undergraduate Researcher with the National Science Foundation (NSF), from May 2018 to August 2018, a Graduate Research Consultant, in May 2021, and has been a Graduate Research Associate with the School of Life Sciences, ASU, under the National

Author Manuscript

Author Manuscript

IEEE Access. Author manuscript; available in PMC 2026 February 25.

Author Manuscript

Author Manuscript

RECKELL et al.

Page 13

Institute of Health (NIH) Grant, since August 2023. His research interests largely revolve around mathematical modeling, bio-mathematics, and differential equations.

BRIGHT KWAKU MANU received the B.Ed. degree in mathematics from the University of Cape Coast, Cape Coast, Ghana, in 2018, and the M.S. degree in mathematical science from East Tennessee State University (ETSU), Johnson City, TN, USA, in 2023. He is currently pursuing the Ph.D. degree in data science, analytics, and engineering with Arizona State University, Tempe, AZ, USA.
He was a Graduate Teaching Assistant at the Department of Mathematics and Statistics, ETSU, from 2022 to 2023, a Graduate Research Associate with the School of Computing and Augmented Intelligence, ASU, from January 2024 to June 2024, and has been a Graduate Research Assistant with the School of Life Sciences, ASU, under the National Institute of Health (NIH) Grant, since August 2024. His research interests include mathematical modeling, graph representation learning, and AI/machine learning in general.
Mr. Manu was a recipient of the Ira A. Fulton Schools of Engineering Fellowship Award from Arizona State University, in 2024, and the Outstanding Graduate Student Award from the Department of Mathematics and Statistics, East Tennessee State University, in 2023.

BECKETT STERNER (Member, IEEE) received the B.S. degree in mathematics from Massachusetts Institute of Technology, MA, USA, in 2006, and the M.A. degree in philosophy, the M.S. degree in statistics, and the Ph.D. degree in conceptual and historical studies of science from The University of Chicago, IL, USA, in 2009, 2011, and 2012, respectively.
From 2012 to 2014, he was a National Science Foundation (NSF) Postdoctoral Fellow at the Field Museum, with a focus on philosophy of biology, and employed as a member of the Society of Fellows with the Department of Philosophy, University of Michigan, from 2014 to 2016. He became an Assistant Professor with the School of Life Sciences, Arizona State University, from 2016 to 2023, and has been an Associate Professor at Arizona State University, since 2023. He is currently the author of two book chapters and more than 20 articles. His research focuses on the intersection of philosophy of science, big data, and biodiversity modeling.
Dr. Sterner was a recipient of many notable awards, including but not limited to the National Science Foundation (NSF) Career Award, from 2022 to 2027, the National Institute of Health (NIH) R01 Grant Award, in 2023, and the NSF Postdoctoral Fellowship in Philosophy of Biology, from 2012 to 2014.

PETAR JEVTIĆ received the Dipl.-Ing. degree in computer science and engineering from the University of Belgrade, Serbia, in 2004, the joint M.S. degree in economics from the University of Belgrade and HEC Paris, in 2006, and the Ph.D. degree in economics with a specialization in statistics and applied mathematics from the University of Turin, Italy, in 2013.

Author Manuscript

Author Manuscript

IEEE Access. Author manuscript; available in PMC 2026 February 25.

Author Manuscript

Author Manuscript

RECKELL et al.

Page 14

From 2013 to 2014, he was a Postdoctoral Fellow with the Department of Mathematics and Statistics, McMaster University, Canada, where he later held a faculty position as an Assistant Professor, from 2014 to 2017. He joined the School of Mathematics and Statistical Sciences, Arizona State University, in 2017, as an Assistant Professor, and has been a tenured Associate Professor, since 2023. He is currently the author of more than 20 peer-reviewed articles and two book chapters. His research focuses on actuarial science, risk modeling, and mathematical finance, with applications in longevity risk, cyber risk, autonomous systems, and climate-induced uncertainty.

Dr. Jevtić has received several distinguished awards and research grants, including the National Science Foundation (NSF) Grant, in 2021, for foundational work in cyber risk modeling, the National Institutes of Health (NIH) R01 Grant, in 2023, for zoonotic disease forecasting using spatial Petri nets, two Department of Homeland Security (CINA) Grants focused on crime and cyber risk, multiple society of actuaries research grants, and a grant from the Casualty Actuarial Society supporting projects in risk and insurance.

REGGIE DAVIDRAJUH (Senior Member, IEEE) received the M.S. degree in control systems engineering and the Dr. Ing. (Ph.D.) degree in industrial engineering from Norwegian University of Science and Technology (NTNU), in 1994 and 2001, respectively, the D.Sc. (Habilitation) degree in information sciences from the AGH University of Science and Technology, Poland, in 2016, and the Ph.D. degree in mechanical engineering from Silesian University of Technology, Poland, in 2022.
Since 2001, he has held various academic and research roles, including a Faculty Member at NTNU and later joining the University of Stavanger, Norway, where he is currently a Professor of informatics with the Department of Electrical Engineering and Computer Science. He is a Visiting Professor at the Faculty of Mechanical Engineering, Silesian University of Technology, Poland. He is the author of at least two book chapters and more than 100 peer-reviewed articles. His research focuses on discrete-event dynamic systems, Petri nets, modeling and simulation, performance analysis, and graph algorithms. He is the developer of GPenSIM, a general-purpose Petri net simulator used internationally for modeling discrete-event systems.
Dr. Davidrajuh was a recipient of several notable awards, including the Best Paper Award at the IEEE International Conference on Advanced Manufacturing, in 2018, the Best Paper Award at the International Scientific-Technical Conference on Manufacturing, in 2017, and the Best Paper Award at the IEEE International Conference on Artificial Intelligence, Modeling, and Simulation in 2015.

V.: SUPPLEMENTARY INDEX
The Supplementary or Appendix section (Figure 26–37) shows additional plots from our simulations including τ runs in GPENSIM, rounding methods in GPENSIM, pop scalar/τ runs in GPENSIM, spike simulations for Layout 1 and 2 and spike simulations with population scalars.

Author Manuscript

Author Manuscript

IEEE Access. Author manuscript; available in PMC 2026 February 25.

Author Manuscript

Author Manuscript

RECKELL et al.

Page 15

A. ADDITIONAL τ RUNS IN GPENSIM
Figures 26 and 27 are additional runs of GPenSim with different τ values of 40 and 80 respectively (population scalar remains 1).

B. ROUNDING METHOD RUNS GPENSIM
Figures 28–32 show different rounding method RRMSE at τ = 20 and a population scalar of 1. These figures helped in determining the best rounding method.

C. SPIKE STOCHASTIC PETRI NETS SIMULATIONS
Figures 34 and 35 show RRMSE for Delta leaping method within Spike. Delta leaping is a stochastic PN method option in Spike we determined to not be suitable based on the following figures.

D. SPIKE STOCHASTIC PETRI NETS SIMULATIONS WITH POPULATION SCALARS
Figures 36 and 37 show Direct and Tau leaping method within Spike with population scalar of 1000.

REFERENCES
[1]. Yang W, Zhang D, Peng L, Zhuge C, and Hong L, “Rational evaluation of various epidemic models based on the COVID-19 data of China,” Epidemics, vol. 37, Dec. 2021, Art. no. 100501. [PubMed: 34601321]
[2]. Connolly S, Gilbert D, and Heiner M, “From epidemic to pandemic modelling,” Frontiers Syst. Biol, vol. 2, Jul. 2022, Art. no. 861562.
[3]. Castagno P, Pernice S, Ghetti G, Povero M, Pradelli L, Paolotti D, Balbo G, Sereno M, and Beccuti M, “A computational framework for modeling and studying pertussis epidemiology and vaccination,” BMC Bioinf., vol. 21, no. S8, p. 344, Sep. 2020, doi: 10.1186/s12859-020-03648-6.
[4]. Pommereau F and Gaucherel C, “A multivalued, spatialized, and timed modelling language for social-ecological systems,” in Proc. Int. Workshop Petri Nets Softw. Eng. (PNSE), Geneva, Switzerland, Jun. 2024, pp. 13–32. [Online]. Available: https://univ-evry.hal.science/ hal-04667502
[5]. Wang Z, Wen T, and Wu W, “Modeling and simulation of rumor propagation in social networks based on Petri net theory,” in Proc. IEEE 12th Int. Conf. Netw., Sens. Control, Apr. 2015, pp. 492–497. [Online]. Available: http://ieeexplore.ieee.org/document/7116086/
[6]. Aduddell R, Fairbanks J, Kumar A, Ocal PS, Patterson E, and Shapiro BT, “A compositional account of motifs, mechanisms, and dynamics in biochemical regulatory networks,” Compositionality, vol. 6, p. 2, May 2024. [Online]. Available: https:// compositionality.episciences.org/13637
[7]. Herajy M, Liu F, and Heiner M, “Design patterns for the construction of computational biological models,” Briefings Bioinf., vol. 25, no. 4, p. 318, Jul. 2024, doi: 10.1093/bib/bbae318.
[8]. Libkind S, Baas A, Halter M, Patterson E, and Fairbanks JP, “An algebraic framework for structured epidemic modelling,” Phil. Trans. Roy. Soc. A: Math., Phys. Eng. Sci, vol. 380, no. 2233, Oct. 2022, Art. no. 20210309.
[9]. Davidrajuh R, Modeling Discrete-Event Systems With GPenSIM. Cham, Switzerland: Springer, 2018.

Author Manuscript

Author Manuscript

IEEE Access. Author manuscript; available in PMC 2026 February 25.

Author Manuscript

Author Manuscript

RECKELL et al.

Page 16

[10]. Davidrajuh R, Petri Nets for Modeling of Large Discrete Systems. Cham, Switzerland: Springer, 2021.
[11]. Davidrajuh R, Colored Petri Nets for Modeling of Discrete Systems: A Practical Approach With GPenSIM. Cham, Switzerland: Springer, 2023.
[12]. Chodak J, “Spike—A tool for reproducible simulation experiments,” Ph.D. dissertation, Dept. Comput. Sci, BTU Cottbus-Senftenberg, Senftenberg, Germany, 2021.
[13]. Soulaimani S, Kaddar A, and Rihan FA, “Stochastic stability and global dynamics of a mathematical model for drug use: Statistical sensitivity analysis via PRCC,” Partial Differ. Equ. Appl. Math, vol. 12, Dec. 2024, Art. no. 100964.
[14]. Cheddour A and Cheddour Z, “Analyzing statistical sensitivity and stochastic stability in an epidemic model,” Model. Earth Syst. Environ, vol. 11, no. 2, Apr. 2025, Art. no. 148.
[15]. Scharf S, Ackermann J, Bender L, Wurzel P, Schäfer H, Hansmann M-L, and Koch I, “Holistic view on the structure of immune response: Petri net model,” Biomedicines, vol. 11, no. 2, p. 452, Feb. 2023. [PubMed: 36830988]
[16]. Beccuti M, Bibbona E, Horváth A, Sirovich R, Angius A, and Balbo G, “Analysis of Petri net models through stochastic differential equations,” in Proc. Int. Conf. Appl. Theory Petri Nets Concurrency, 2014, pp. 273–293.
[17]. Koch I, Reisig W, and Schreiber F, Modeling in Systems Biology: The Petri Net Approach, vol. 16. Cham, Switzerland: Springer, 2010.
[18]. Peng L, Xie P, Tang Z, and Liu F, “Modeling and analyzing transmission of infectious diseases using generalized stochastic Petri nets,” Appl. Sci, vol. 11, no. 18, p. 8400, Sep. 2021.
[19]. Chen M and Hofestädt R, “Quantitative Petri net model of gene regulated metabolic networks in the cell,” Silico Biol., vol. 3, no. 3, pp. 347–365, 2011.
[20]. Reckell T, Sterner B, and Jevtić P, “The basic reproduction number for Petri net models: A next-generation matrix approach,” Appl. Sci, vol. 15, no. 23, p. 12827, Dec. 2025.
[21]. Chiaradonna S, Jevtić P, and Sterner B, “MPAT: Modular Petri net assembly toolkit,” SoftwareX, vol. 28, Dec. 2024, Art. no. 101913. [Online]. Available: https://www.sciencedirect.com/science/ article/pii/S2352711024002838 [PubMed: 40416937]
[22]. Auger P, Magal P, and Ruan S, Structured Population Models in Biology and Epidemiology, vol. 1936. Cham, Switzerland: Springer, 2008.
[23]. Lu J, Deng K, Zhang X, Liu G, and Guan Y, “Neural-ODE for pharmacokinetics modeling and its advantage to alternative machine learning models in predicting new dosing regimens,” iScience, vol. 24, no. 7, Jul. 2021, Art. no. 102804. [PubMed: 34308294]
[24]. Reckell T, Nguyen K, Phan T, Crook S, Kostelich EJ, and Kuang Y, “Modeling the synergistic properties of drugs in hormonal treatment for prostate cancer,” J. Theor. Biol, vol. 514, Apr. 2021, Art. no. 110570. [PubMed: 33422609]
[25]. Aguda BD, Kim Y, Piper-Hunter MG, Friedman A, and Marsh CB, “MicroRNA regulation of a cancer network: Consequences of the feedback loops involving miR-17–92, E2F, and myc,” Proc. Nat. Acad. Sci. USA, vol. 105, no. 50, pp. 19678–19683, Dec. 2008. [PubMed: 19066217]
[26]. Kermack WO and McKendrick AG, “A contribution to the mathematical theory of epidemics,” Proc. Roy. Soc. london. Ser. A, vol. 115, no. 772, pp. 700–721, 1927.
[27]. Cassandras CG and Lafortune S, Introduction to Discrete Event Systems. Cham, Switzerland: Springer, 2008.
[28]. Davidrajuh R, “Optimizing simulations with GPenSIM,” Modeling Discrete-Event Systems With GPenSIM: An Introduction. Cham, Switzerland: Springer, 2018, pp. 59–79.
[29]. Kumbhar VB and Chavan M, “A review of Petri net tools and recommendations,” in Proc. Int. Conf. Appl. Mach. Intell. Data Analytics (ICAMIDA), 2023, pp. 710–721.
[30]. Thong WJ and Ameedeen MA, “A survey of Petri net tools,” in Proc. 1st Int. Conf. Commun. Comput. Eng. Adv. Comput. Commun. Eng. Technol Cham, Switzerland: Springer, 2014, pp. 537–551.
[31]. Gillespie DT, “Exact stochastic simulation of coupled chemical reactions,” J. Phys. Chem, vol. 81, no. 25, pp. 2340–2361, Dec. 1977.

Author Manuscript

Author Manuscript

IEEE Access. Author manuscript; available in PMC 2026 February 25.

Author Manuscript

RECKELL et al.

Page 17

[32]. Rohr C, “Discrete-time leap method for stochastic simulation,” Fundamenta Informaticae, vol. 160, nos. 1–2, pp. 181–198, Apr. 2018.
[33]. Segovia C, “Petri nets in epidemiology,” 2022, arXiv:2206.03269.
[34]. Baez JC and Biamonte J, “Quantum techniques for stochastic mechanics,” 2012, arXiv:1209.3632.
[35]. Melberg R and Davidrajuh R, “Dynamic arc weight in Petri nets,” in Proc. IASTED Int. Conf. Appl. Simulation Modelling (ASM), vol. 682, 2009, pp. 83–89.
[36]. Liu F and Heiner M, “Colored Petri nets to model and simulate biological systems,” Recent Adv. Petri Nets Concurrency, vol. 827, pp. 71–85, Jun. 2010.

Author Manuscript

Author Manuscript

Author Manuscript

IEEE Access. Author manuscript; available in PMC 2026 February 25.

RECKELL et al.

Page 18

Author Manuscript

Author Manuscript

Author Manuscript

FIGURE 1. Petri nets model formalism elements.
IEEE Access. Author manuscript; available in PMC 2026 February 25.

Author Manuscript

Author Manuscript

RECKELL et al.

Page 19

FIGURE 2. Continuous-time, Markov Chain SIRS model with stochastic firing times and fixed arc weights, as implemented in Spike.

Author Manuscript

Author Manuscript

Author Manuscript

IEEE Access. Author manuscript; available in PMC 2026 February 25.

Author Manuscript

RECKELL et al.

Page 20

FIGURE 3. Discrete-time, deterministic SIRS model using fixed time steps and variable arc weights, as implemented in GPenSIM.

Author Manuscript

Author Manuscript

Author Manuscript

IEEE Access. Author manuscript; available in PMC 2026 February 25.

Author Manuscript

RECKELL et al.

Page 21

FIGURE 4. Two options for addressing arcs that become disabled in the deterministic PN model in biologically implausible ways. In (a), this can be achieved with a simple “if else” logic statement. In (b), an additional transition needs to be installed.

Author Manuscript

Author Manuscript

Author Manuscript

IEEE Access. Author manuscript; available in PMC 2026 February 25.

RECKELL et al.

Page 22

Author Manuscript

Author Manuscript

Author Manuscript

Author Manuscript

FIGURE 5. Comparison of rounding method performance on simulated data. Left column has β = 1, γ = 1, δ = 1. Right column has β = 0.05, γ = 0.05, δ = 0.05. Susceptible, infected, and recovered populations are shown on top, middle, and bottom rows, respectively. The legend applies to all figures. All rounding method comparisons were conducted at a time step of 20 PN time steps per unit time per 1 ODE time interval.
IEEE Access. Author manuscript; available in PMC 2026 February 25.

RECKELL et al.

Page 23

Author Manuscript

Author Manuscript

Author Manuscript

FIGURE 6. RRMSE percentage across parameter ranges of [0, 1] for each respective parameter with γ the y-axis of each subfigure, β the x-axis of each subfigure, and δ set at a different fixed value for each subfigure. PN Time Step Per Unit of Time parameter τ = 1. Note that red is RRMSE ≤ 44% (43.75% being the max observed RRMSE across all simulations), dark orange is RRMSE ≤ 20%, light orange is RRMSE ≤ 10%, yellow is RRMSE ≤ 5%, light green is RRMSE ≤ 1%, and dark green is RRMSE ≤ .1%.
IEEE Access. Author manuscript; available in PMC 2026 February 25.

Author Manuscript

RECKELL et al.

Page 24

Author Manuscript

Author Manuscript

Author Manuscript

FIGURE 7. RRMSE percentage across parameter ranges of [0, 1] for each respective parameter with γ the y-axis of each subfigure, β the x-axis of each subfigure, and δ set at a different fixed value for each subfigure. PN Time Step Per Unit of Time parameter τ = 20. Note that yellow is RRMSE ≤ 5%, light green is RRMSE ≤ 1%, and dark green is RRMSE ≤ 0.1%.
IEEE Access. Author manuscript; available in PMC 2026 February 25.

Author Manuscript

RECKELL et al.

Page 25

Author Manuscript

Author Manuscript

Author Manuscript

FIGURE 8. RRMSE percentage across parameter ranges of [0, 1] for each respective parameter with γ the y-axis of each subfigure, β the x-axis of each subfigure, and δ set at a different fixed value for each subfigure. PN Time Step Per Unit of Time parameter τ = 60. Note that yellow is RRMSE ≤ 5%, light green is RRMSE ≤ 1 %, and dark green is RRMSE ≤ 0.1%.
IEEE Access. Author manuscript; available in PMC 2026 February 25.

Author Manuscript

RECKELL et al.

Page 26

Author Manuscript

Author Manuscript

Author Manuscript

FIGURE 9. Mean RRMSE in percentage across parameter ranges of γ range of [0,1] with 10 linearly spaced points, β range of [0,1] with 10 linearly spaced points, and δ range of [0,1] with 5 logarithmically spaced points.
IEEE Access. Author manuscript; available in PMC 2026 February 25.

Author Manuscript

Author Manuscript

RECKELL et al.

Page 27

FIGURE 10. Mean computation time for one dynamic arc weight PN model run in GPenSIM for various times steps as seen in Figures 6, 7, 8, 26, and 27.

Author Manuscript

Author Manuscript

Author Manuscript

IEEE Access. Author manuscript; available in PMC 2026 February 25.

RECKELL et al.

Page 28

Author Manuscript

Author Manuscript

Author Manuscript

FIGURE 11. RRMSE percentage across parameter ranges of [0, 1] for each respective parameter with γ the y-axis of each subfigure, β the x-axis of each subfigure, and δ set at a different fixed value for each subfigure. PN Time Step Per Unit of Time parameter τ = 60. Note that yellow is RRMSE ≤ 5%, light green is RRMSE ≤ 1%, and dark green is RRMSE ≤ 0.1%.
IEEE Access. Author manuscript; available in PMC 2026 February 25.

Author Manuscript

RECKELL et al.

Page 29

Author Manuscript

Author Manuscript

Author Manuscript

FIGURE 12. RRMSE percentage across parameter ranges of [0, 1] for each respective parameter with γ the y-axis of each subfigure, β the x-axis of each subfigure, and δ set at a different fixed value for each subfigure. PN Time Step Per Unit of Time parameter τ = 60. Note that light green is RRMSE ≤ 1%, and dark green is RRMSE ≤ 0.1%.
IEEE Access. Author manuscript; available in PMC 2026 February 25.

Author Manuscript

RECKELL et al.

Page 30

Author Manuscript

Author Manuscript

Author Manuscript

FIGURE 13. RRMSE percentage across parameter ranges of [0, 1] for each respective parameter with γ the y-axis of each subfigure, β the x-axis of each subfigure, and δ set at a different fixed value for each subfigure. PN Time Step Per Unit of Time parameter τ = 60. Note that light green is RRMSE ≤ 1%, and dark green is RRMSE ≤ 0.1%.
IEEE Access. Author manuscript; available in PMC 2026 February 25.

Author Manuscript

Author Manuscript

RECKELL et al.

Page 31

FIGURE 14. Mean computation time for one dynamic arc weight PN model run in GPenSIM for increasing population scalars as seen in Figures 8,11,12, and 13.

Author Manuscript

Author Manuscript

Author Manuscript

IEEE Access. Author manuscript; available in PMC 2026 February 25.

Author Manuscript

RECKELL et al.

Page 32

FIGURE 15. RRMSE percentage for a fixed parameter set β = 0.1, γ = 0.5, δ = 0.001 with population scalar on the y-axis and time steps τ on the x-axis. Note that light green is RRMSE ≤ 1%, and dark green is RRMSE ≤ 0.1%.

Author Manuscript

Author Manuscript

Author Manuscript

IEEE Access. Author manuscript; available in PMC 2026 February 25.

RECKELL et al.

Page 33

Author Manuscript

Author Manuscript

Author Manuscript

FIGURE 16. RRMSE percentage across parameter ranges of [0, 1] for each respective parameter with γ the y-axis of each subfigure, β the x-axis of each subfigure, and δ set at a different fixed value for each subfigure. Note that red is RRMSE ≤ 44% (43.75% being the max observed RRMSE across all simulations), dark orange is RRMSE ≤ 20%, light orange is RRMSE ≤ 10%, yellow is RRMSE ≤ 5%, light green is RRMSE ≤ 1%, and dark green is RRMSE ≤ .1%.
IEEE Access. Author manuscript; available in PMC 2026 February 25.

Author Manuscript

RECKELL et al.

Page 34

Author Manuscript

Author Manuscript

Author Manuscript

FIGURE 17. RRMSE percentage across parameter ranges of [0, 1] for each respective parameter with γ the y-axis of each subfigure, β the x-axis of each subfigure, and δ set at a different fixed value for each subfigure. Note that yellow is RRMSE ≤ 5%, light green is RRMSE ≤ 1%, and dark green is RRMSE ≤ .1%.
IEEE Access. Author manuscript; available in PMC 2026 February 25.

Author Manuscript

RECKELL et al.

Page 35

Author Manuscript

Author Manuscript

Author Manuscript

FIGURE 18. RRMSE percentage across parameter ranges of [0, 1] for each respective parameter with γ the y-axis of each subfigure, β the x-axis of each subfigure, and δ set at a different fixed value for each subfigure. Note that light green is RRMSE ≤ 1%, and dark green is RRMSE ≤ .1%.
IEEE Access. Author manuscript; available in PMC 2026 February 25.

Author Manuscript

Author Manuscript

RECKELL et al.

Page 36

FIGURE 19. Mean computation time for one dynamic arc weight PN model run in Spike using the Direct method for increasing population scalars as seen in Figures 16–18.

Author Manuscript

Author Manuscript

Author Manuscript

IEEE Access. Author manuscript; available in PMC 2026 February 25.

RECKELL et al.

Page 37

Author Manuscript

Author Manuscript

Author Manuscript

Author Manuscript

FIGURE 20. Mean RRMSE in percentage for selected parameters values, γ = 0.5320, β = 0.0500, and δ = 0.0025. These values were not included in the parameter grid used in the main experiment.
IEEE Access. Author manuscript; available in PMC 2026 February 25.

RECKELL et al.

Page 38

Author Manuscript

Author Manuscript

Author Manuscript

FIGURE 21. RRMSE percentage across parameter ranges of [0, 1] for each respective parameter with γ the y-axis of each subfigure, β the x-axis of each subfigure, and δ set at a different fixed value for each subfigure. Note that red is RRMSE ≤ 44% (43.75% being the max observed RRMSE across all simulations), dark orange is RRMSE ≤ 20%, light orange is RRMSE ≤ 10%, yellow is RRMSE ≤ 5%, light green is RRMSE ≤ 1%, and dark green is RRMSE ≤ .1%.
IEEE Access. Author manuscript; available in PMC 2026 February 25.

Author Manuscript

RECKELL et al.

Page 39

Author Manuscript

Author Manuscript

Author Manuscript

FIGURE 22. RRMSE percentage across parameter ranges of [0, 1] for each respective parameter with γ the y-axis of each subfigure, β the x-axis of each subfigure, and δ set at a different fixed value for each subfigure. Note that yellow is RRMSE ≤ 5%, light green is RRMSE ≤ 1%, and dark green is RRMSE ≤ .1%.
IEEE Access. Author manuscript; available in PMC 2026 February 25.

Author Manuscript

RECKELL et al.

Page 40

Author Manuscript

Author Manuscript

Author Manuscript

FIGURE 23. RRMSE percentage across parameter ranges of [0, 1] for each respective parameter with γ the y-axis of each subfigure, β the x-axis of each subfigure, and δ set at a different fixed value for each subfigure. Note that light green is RRMSE ≤ 1%, and dark green is RRMSE ≤ .1%.
IEEE Access. Author manuscript; available in PMC 2026 February 25.

Author Manuscript

Author Manuscript

RECKELL et al.

Page 41

FIGURE 24. Mean computation time for one dynamic arc weight PN model run in Spike using the tauLeaping method for increasing population scalars as seen in Figures 21–23.

Author Manuscript

Author Manuscript

Author Manuscript

IEEE Access. Author manuscript; available in PMC 2026 February 25.

RECKELL et al.

Page 42

Author Manuscript

Author Manuscript

Author Manuscript

Author Manuscript

FIGURE 25. Mean RRMSE in percentage for selected parameters values, γ = 0.5320, β = 0.0500, and δ = 0.0025. These values were not included in the parameter grid used in the main experiment.
IEEE Access. Author manuscript; available in PMC 2026 February 25.

RECKELL et al.

Page 43

Author Manuscript

Author Manuscript

Author Manuscript

FIGURE 26. RRMSE percentage across parameter ranges of [0, 1] for each respective parameter with γ the y-axis of each subfigure, β the x-axis of each subfigure, and δ set at a different fixed value for each subfigure. PN Time Step Per Unit of Time parameter τ = 40. Note that yellow is RRMSE ≤ 5%, light green is RRMSE ≤ 1%, and dark green is RRMSE ≤ 0.1%.
IEEE Access. Author manuscript; available in PMC 2026 February 25.

Author Manuscript

RECKELL et al.

Page 44

Author Manuscript

Author Manuscript

Author Manuscript

FIGURE 27. RRMSE percentage across parameter ranges of [0, 1] for each respective parameter with γ the y-axis of each subfigure, β the x-axis of each subfigure, and δ set at a different fixed value for each subfigure. PN Time Step Per Unit of Time parameter τ = 80. Note that yellow is RRMSE ≤ 5%, light green is RRMSE ≤ 1%, and dark green is RRMSE ≤ 0.1%.
IEEE Access. Author manuscript; available in PMC 2026 February 25.

Author Manuscript

RECKELL et al.

Page 45

Author Manuscript

Author Manuscript

Author Manuscript

FIGURE 28. RRMSE percentage across parameter ranges of [0, 1] for each respective parameter with γ the y-axis of each subfigure, β the x-axis of each subfigure, and δ set at a different fixed value for each subfigure. PN Time Step Per Unit of Time parameter τ = 1. Note that red is RRMSE ≤ 44% (43.75% being the max observed RRMSE across all simulations), dark orange is RRMSE ≤ 20%, light orange is RRMSE ≤ 10%, yellow is RRMSE ≤ 5%, light green is RRMSE ≤ 1%, and dark green is RRMSE ≤ .1%.
IEEE Access. Author manuscript; available in PMC 2026 February 25.

Author Manuscript

RECKELL et al.

Page 46

Author Manuscript

Author Manuscript

Author Manuscript

FIGURE 29. RRMSE percentage across parameter ranges of [0, 1] for each respective parameter with γ the y-axis of each subfigure, β the x-axis of each subfigure, and δ set at a different fixed value for each subfigure. PN Time Step Per Unit of Time parameter τ = 1. Note that red is RRMSE ≤ 44% (43.75% being the max observed RRMSE across all simulations), dark orange is RRMSE ≤ 20%, light orange is RRMSE ≤ 10%, yellow is RRMSE ≤ 5%, light green is RRMSE ≤ 1%, and dark green is RRMSE ≤ .1%.
IEEE Access. Author manuscript; available in PMC 2026 February 25.

Author Manuscript

RECKELL et al.

Page 47

Author Manuscript

Author Manuscript

Author Manuscript

FIGURE 30. RRMSE percentage across parameter ranges of [0, 1] for each respective parameter with γ the y-axis of each subfigure, β the x-axis of each subfigure, and δ set at a different fixed value for each subfigure. PN Time Step Per Unit of Time parameter τ = 1. Note that red is RRMSE ≤ 44% (43.75% being the max observed RRMSE across all simulations), dark orange is RRMSE ≤ 20%, light orange is RRMSE ≤ 10%, yellow is RRMSE ≤ 5%, light green is RRMSE ≤ 1%, and dark green is RRMSE ≤ .1%.
IEEE Access. Author manuscript; available in PMC 2026 February 25.

Author Manuscript

RECKELL et al.

Page 48

Author Manuscript

Author Manuscript

Author Manuscript

FIGURE 31. RRMSE percentage across parameter ranges of [0, 1] for each respective parameter with γ the y-axis of each subfigure, β the x-axis of each subfigure, and δ set at a different fixed value for each subfigure. PN Time Step Per Unit of Time parameter τ = 1. Note that red is RRMSE ≤ 44% (43.75% being the max observed RRMSE across all simulations), dark orange is RRMSE ≤ 20%, light orange is RRMSE ≤ 10%, yellow is RRMSE ≤ 5%, light green is RRMSE ≤ 1%, and dark green is RRMSE ≤ .1%.
IEEE Access. Author manuscript; available in PMC 2026 February 25.

Author Manuscript

RECKELL et al.

Page 49

Author Manuscript

Author Manuscript

Author Manuscript

FIGURE 32. RRMSE percentage across parameter ranges of [0, 1] for each respective parameter with γ the y-axis of each subfigure, β the x-axis of each subfigure, and δ set at a different fixed value for each subfigure. PN Time Step Per Unit of Time parameter τ = 1. Note that red is RRMSE ≤ 44% (43.75% being the max observed RRMSE across all simulations), dark orange is RRMSE ≤ 20%, light orange is RRMSE ≤ 10%, yellow is RRMSE ≤ 5%, light green is RRMSE ≤ 1%, and dark green is RRMSE ≤ .1%.
IEEE Access. Author manuscript; available in PMC 2026 February 25.

Author Manuscript

RECKELL et al.

Page 50

Author Manuscript

Author Manuscript

Author Manuscript

FIGURE 33. RRMSE percentage across parameter ranges of [0, 1] for each respective parameter with γ the y-axis of each subfigure, β the x-axis of each subfigure, and δ set at a different fixed value for each subfigure. PN Time Step Per Unit of Time parameter τ = 1. Note that red is RRMSE ≤ 44% (43.75% being the max observed RRMSE across all simulations), dark orange is RRMSE ≤ 20%, light orange is RRMSE ≤ 10%, yellow is RRMSE ≤ 5%, light green is RRMSE ≤ 1%, and dark green is RRMSE ≤ .1%.
IEEE Access. Author manuscript; available in PMC 2026 February 25.

Author Manuscript

RECKELL et al.

Page 51

Author Manuscript

Author Manuscript

Author Manuscript

FIGURE 34. RRMSE percentage across parameter ranges of [0, 1] for each respective parameter with γ the y-axis of each subfigure, β the x-axis of each subfigure, and δ set at a different fixed value for each subfigure. PN Time Step Per Unit of Time parameter τ = 1. Note that red is RRMSE ≤ 44% (43.75% being the max observed RRMSE across all simulations), dark orange is RRMSE ≤ 20%, light orange is RRMSE ≤ 10%, yellow is RRMSE ≤ 5%, light green is RRMSE ≤ 1%, and dark green is RRMSE ≤ .1%.
IEEE Access. Author manuscript; available in PMC 2026 February 25.

Author Manuscript

RECKELL et al.

Page 52

Author Manuscript

Author Manuscript

Author Manuscript

FIGURE 35. RRMSE percentage across parameter ranges of [0, 1] for each respective parameter with γ the y-axis of each subfigure, β the x-axis of each subfigure, and δ set at a different fixed value for each subfigure. PN Time Step Per Unit of Time parameter τ = 1. Note that red is RRMSE ≤ 44% (43.75% being the max observed RRMSE across all simulations), dark orange is RRMSE ≤ 20%, light orange is RRMSE ≤ 10%, yellow is RRMSE ≤ 5%, light green is RRMSE ≤ 1%, and dark green is RRMSE ≤ .1%.
IEEE Access. Author manuscript; available in PMC 2026 February 25.

Author Manuscript

RECKELL et al.

Page 53

Author Manuscript

Author Manuscript

Author Manuscript

FIGURE 36. RRMSE percentage across parameter ranges of [0, 1] for each respective parameter with γ the y-axis of each subfigure, β the x-axis of each subfigure, and δ set at a different fixed value for each subfigure. Note that light orange is RRMSE ≤ 10%, yellow is RRMSE ≤ 5%, light green is RRMSE ≤ 1%, and dark green is RRMSE ≤ .1%.
IEEE Access. Author manuscript; available in PMC 2026 February 25.

Author Manuscript

RECKELL et al.

Page 54

Author Manuscript

Author Manuscript

Author Manuscript

FIGURE 37. RRMSE percentage across parameter ranges of [0, 1] for each respective parameter with γ the y-axis of each subfigure, β the x-axis of each subfigure, and δ set at a different fixed value for each subfigure. Note that light orange is RRMSE ≤ 10%, yellow is RRMSE ≤ 5%, light green is RRMSE ≤ 1%, and dark green is RRMSE ≤ .1%.
IEEE Access. Author manuscript; available in PMC 2026 February 25.

Author Manuscript

Author Manuscript

RECKELL et al.

Page 55

TABLE 1. This table provides reference for ODE and PN parameters and initial conditions. These initial populations levels can be scaled as explained in Section III-C.

Parameter
S0 I0 R0
β γ δ N

Description Initial Susceptible
Initial Infected Initial Recovered
Infection Rate Recovery Rate Re-susceptibility Rate Total Population

Reference Range/Value 1000 10 10 [0, 1] [0, 1] [0, 1] 1020

Author Manuscript

Author Manuscript

Author Manuscript

IEEE Access. Author manuscript; available in PMC 2026 February 25.

