A Petri net modeling framework for the Julia programming language https://mehalter.github.io/Petri.jl/stable/
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

#### 32 lines 1.8 KiB Raw Permalink Normal View History

 ​Added correct DOI badge... 10 months agoadded DOI 1 year ago​​​​​​​​​​​​​​​​​​​​ ![Petri.jl](docs/src/assets/full-logo.png) [![Documentation](https://github.com/mehalter/Petri.jl/workflows/Documentation/badge.svg)](https://mehalter.github.io/Petri.jl/stable/)![Tests](https://github.com/mehalter/Petri.jl/workflows/Tests/badge.svg)[![codecov](https://codecov.io/gh/mehalter/Petri.jl/branch/master/graph/badge.svg)](https://codecov.io/gh/mehalter/Petri.jl)[![DOI](https://zenodo.org/badge/203420191.svg)](https://zenodo.org/badge/latestdoi/203420191) Petri.jl is a Petri net modeling framework for the Julia programming language.Petri makes it easy to build complex reaction networks using a simple DSL.Once a model is defined, Petri.jl has support to generate ODE solutions andstochastic simulations using DifferentialEquations.jl. Examples and basicusage can be found in the documentation. ## Goals This is related to the [DiffeqBiological](https://github.com/JuliaDiffEq/DiffEqBiological.jl) Reaction DSL, but takes a different implementation approach. Instead of building our framework around symbolic algebra and standard chemical notion, we are working off the Applied Category Theory approach to reaction networks [[Baez Pollard, 2017](http://math.ucr.edu/home/baez/RxNet.pdf)]. There are operations that are easy to do on the Petri.Model like "add atransition from R to S" that require simultaneously changing multiple parts ofthe algebraic formulation. Applied Category Theory gives a sound theoreticalframework for manipulating Petri Nets as a model in terms of the given domain.Petri is a Julia package primarily intended to investigate how we canoperationalize this theory into practical scientific software. See [AlgebraicPetri](https://github.com/AlgebraicJulia/AlgebraicPetri.jl) fortools that work with Petri net models and manipulating them with higher levelAPIs based on Applied Category Theory.