SearcharxivSearch

arXiv subjects

Trevor Reckell

Publications and source records attributed to Trevor Reckell.

3 recordsLinked to original sources

A Simple Approximate Bayesian Inference Neural Surrogate for Stochastic Petri Net Models

Stochastic Petri Nets (SPNs) are an increasingly popular tool of choice for modeling discrete-event dynamics in areas such as epidemiology and systems biology, yet their parameter estimation remains challenging in general and in particular when transition rates depend on external covariates and explicit likelihoods are unavailable. We introduce a neural-surrogate (neural-network-based approximation of the posterior distribution) framework that predicts the coefficients of known covariate-dependent rate functions directly from noisy, partially observed token trajectories. Our model employs a lightweight 1D Convolutional Residual Network trained end-to-end on Gillespie-simulated SPN realizations, learning to invert system dynamics under realistic conditions of event dropout. During inference, Monte Carlo dropout provides calibrated uncertainty bounds together with point estimates. On synthetic SPNs with $10\%$ missing events, our surrogate recovers rate-function coefficients with an $RMSE = 0.043$ and substantially runs faster than traditional Bayesian approaches. These results demonstrate that data-driven, likelihood-free surrogates can enable accurate, robust, and real-time parameter recovery in complex, partially observed discrete-event systems.

cs.LG

The Basic Reproduction Number for Petri Net Models: A Next-Generation Matrix Approach

The basic reproduction number ($R_0$) is an epidemiological metric that represents the average number of new infections caused by a single infectious individual in a completely susceptible population. The methodology for calculating this metric is well-defined for numerous model types, including, most prominently, Ordinary Differential Equations (ODEs). The basic reproduction number is used in disease modeling to predict the potential of an outbreak and the transmissibility of a disease, as well as by governments to inform public health interventions and resource allocation for controlling the spread of diseases. A Petri Net (PN) is a directed bipartite graph where places, transitions, arcs, and the firing of the arcs determine the dynamic behavior of the system. Petri Net models have been an increasingly used tool within the epidemiology community. However, no generalized method for calculating $R_0$ directly from PN models has been established. Thus, in this paper, we establish a generalized computational framework for calculating $R_0$ directly from Petri Net models. We adapt the next-generation matrix method to be compatible with multiple Petri Net formalisms, including both deterministic Variable Arc Weight Petri Nets (VAPNs) and stochastic continuous-time Petri Nets (SPNs). We demonstrate the method's versatility on a range of complex epidemiological models, including those with multiple strains, asymptomatic states, and nonlinear dynamics. Crucially, we numerically validate our framework by demonstrating that the analytically derived $R_0$ values are in strong agreement with those estimated from simulation data, thereby confirming the method's accuracy and practical utility.

math.AT

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

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 dynamic 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.

q-bio.OT