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... Show more