AlgebraicJulia
/
AlgebraicPetri.jl
mirror of https://github.com/AlgebraicJulia/AlgebraicPetri.jl.git
1
1
Fork 0
Code Issues Releases Activity
Build petri net agent based models compositionally https://algebraicjulia.github.io/AlgebraicPetri.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.
90 Commits
14 Branches
15 Tags
247 MiB
 
Branch: master
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'master'
${ noResults }
Micah Halter 47be95119f
Merge pull request #48 from AlgebraicJulia/requires 		4 weeks ago
.github/workflows Create separate Project.toml for tests. 4 weeks ago
docs Moved from OrdinaryDiffEq to DifferentialEquations to test 6 months ago
examples Fix documentation building 3 months ago
src BUG: Use `__init__` function with Requires.jl. 4 weeks ago
test BUG: Use `__init__` function with Requires.jl. 4 weeks ago
.gitignore Updated to Petriv1 with stochastic differential equations (#10) 10 months ago
LICENSE Initial commit 11 months ago
Project.toml Create separate Project.toml for tests. 4 weeks ago
README.md Update README.md (#21) 8 months ago
codecov.yml Full C-Set implementation (#17) 8 months ago

README.md

AlgebraicPetri.jl

Documentation Tests Code Coverage DOI

AlgebraicPetri.jl is a Julia library for building Petri Net models compositionally. This library acts as a bridge between Catlab.jl and Petri.jl. This package defines the category of Open Petri Nets as described in [Baez 2018].