Papers › A Numerical Comparison of Petri Net and Ordinary Differential Equation SIR Component Models

A Numerical Comparison of Petri Net and Ordinary Differential Equation SIR Component Models

13 Jul 2024arXiv:2407.10019archive 2025-07-28

Trevor Reckell, Beckett Sterner, Petar Jevtić, Reggie Davidrajuh

Petri nets are a promising modeling framework for epidemiology, including the spread of disease across populations or within an individual. In particular, the Susceptible-Infectious-Recovered (SIR) compartment model is foundational for population epidemiological modeling and has been implemented in several prior Petri net studies. However, the SIR model is generally stated as a system of ordinary differential equations (ODEs) with continuous time and variables, while Petri nets are discrete event simulations. To our knowledge, no prior study has investigated the numerical equivalence of Petri net SIR models to the classical ODE formulation. We introduce crucial numerical techniques for implementing SIR models in the GPenSim package for Petri net simulations. We show that these techniques are critical for Petri net SIR models and show a relative root mean squared error of less than 1% compared to ODE simulations for biologically relevant parameter ranges. We conclude that Petri nets provide a valid framework for modeling SIR-type dynamics using biologically relevant parameter values provided that the other PN structures we outline are also implemented.

PaperPDFCode

Code

Repository list and official/mentioned flags are the archive's, frozen 2025-07-28. Reachability, where shown, is from one Syntology probe window (2026-09-16 to 2026-09-18); repositories not probed show nothing. GitHub stars are not tracked.

Code Syntology ran Syntology

Not run by Syntology. Nothing on this page verifies that the listed code works.

Tasks

Epidemiology

1 archive task tag without a task page not shown.

Results from the paper archive 2025-07-28

No leaderboard rows for this paper in the archive.

Report a problem or propose a change · a person checks every report against the paper or source before anything changes; decisions are listed on /corrections