16 citations · 49 across the 6 of their papers we have counts for
6 papers
Additive Invariants of Open Petri Nets
Benjamin Merlin Bumpus, Sophie Libkind, Jordy Lopez Garcia +2
We classify all additive invariants of open Petri nets: these are -valued invariants which are additive with respect to sequential and parallel composition of open Petr…
A Categorical Framework for Modeling with Stock and Flow Diagrams
John C. Baez, Xiaoyan Li, Sophie Libkind +2
Stock and flow diagrams are already an important tool in epidemiology, but category theory lets us go further and treat these diagrams as mathematical entities in their own right.…
Compositional Modeling with Stock and Flow Diagrams
John Baez, Xiaoyan Li, Sophie Libkind +2
Stock and flow diagrams are widely used in epidemiology to model the dynamics of populations. Although tools already exist for building these diagrams and simulating the systems th…
An Algebraic Framework for Structured Epidemic Modeling
Sophie Libkind, Andrew Baas, Micah Halter +2
Pandemic management requires that scientists rapidly formulate and analyze epidemiological models in order to forecast the spread of disease and the effects of mitigation strategie…
Operadic Modeling of Dynamical Systems: Mathematics and Computation
Sophie Libkind, Andrew Baas, Evan Patterson +1
Dynamical systems are ubiquitous in science and engineering as models of phenomena that evolve over time. Although complex dynamical systems tend to have important modular structur…
An Algebra of Resource Sharing Machines
Sophie Libkind
Dynamical systems are a broad class of mathematical tools used to describe the evolution of physical and computational processes. Traditionally these processes model changing entit…