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.
Pietro Monticone 43318f0eec
Update coexist.jl (#75)
1 month ago
.github/workflows Removed tests for Julia v1.0 4 months ago
docs Update Catalyst usage 4 months ago
examples Update coexist.jl (#75) 1 month ago
src Changed function name to prevent type piracy 1 month ago
test Changed function name to prevent type piracy 1 month ago
.gitignore Update to use struct acsets 3 months ago
LICENSE Initial commit 1 year ago
Project.toml Increase AlgPetri version to 0.7.1 1 month ago
README.md Update README.md (#21) 1 year ago
codecov.yml Full C-Set implementation (#17) 1 year 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].