AlgebraicJulia
/
AlgebraicPetri.jl
mirror of https://github.com/AlgebraicJulia/AlgebraicPetri.jl.git
1
1
Fork 0
Code Issues Releases 13 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.
48 Commits
11 Branches
195 MiB
 
Tree: 7933438875
Branches Tags
${ item.name }
Create branch ${ searchTerm }
from '7933438875'
${ noResults }
 ZIP  TAR.GZ
James 7933438875
Update README.md (#21) 		5 months ago
.github/workflows Added code coverage (#15) 6 months ago
docs Petset (#18) 6 months ago
examples Petset (#18) 6 months ago
src Road to 100% Code Coverage (#19) 6 months ago
test Road to 100% Code Coverage (#19) 6 months ago
.gitignore Updated to Petriv1 with stochastic differential equations (#10) 8 months ago
LICENSE Initial commit 8 months ago
Project.toml Road to 100% Code Coverage (#19) 6 months ago
README.md Update README.md (#21) 5 months ago
codecov.yml Full C-Set implementation (#17) 6 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].