AlgebraicPetri
所属分类：数学计算
开发工具：Julia
文件大小：0KB
下载次数：0
上传日期：2023-06-15 15:40:11
上 传 者：
sh-1993
说明： 组合构建Petri网模型
(Build Petri net models compositionally)
文件列表:
LICENSE (1071, 2023-10-31)
Project.toml (815, 2023-10-31)
codecov.yml (191, 2023-10-31)
docs/ (0, 2023-10-31)
docs/Project.toml (743, 2023-10-31)
docs/literate/ (0, 2023-10-31)
docs/literate/covid/ (0, 2023-10-31)
docs/literate/covid/_covid.jl (3800, 2023-10-31)
docs/literate/covid/_generate_figs.jl (4023, 2023-10-31)
docs/literate/covid/bilayerconversion.jl (6452, 2023-10-31)
docs/literate/covid/chime/ (0, 2023-10-31)
docs/literate/covid/chime/_chime-cset.jl (1300, 2023-10-31)
docs/literate/covid/chime/_chime.jl (1054, 2023-10-31)
docs/literate/covid/chime/chime.json (878, 2023-10-31)
docs/literate/covid/chime/cset-json-schema.pdf (196582, 2023-10-31)
docs/literate/covid/chime/cset-json-schema.rmd (4301, 2023-10-31)
docs/literate/covid/chime/ode-chime.png (25441, 2023-10-31)
docs/literate/covid/chime/sde-chime.png (27092, 2023-10-31)
docs/literate/covid/chime/sir.png (17934, 2023-10-31)
docs/literate/covid/coexist/ (0, 2023-10-31)
docs/literate/covid/coexist/3gen_coexist_petri.svg (116683, 2023-10-31)
docs/literate/covid/coexist/3gen_coexist_wd.svg (7072, 2023-10-31)
docs/literate/covid/coexist/_coexist.jl (10204, 2023-10-31)
docs/literate/covid/coexist/coexist.json (9476, 2023-10-31)
docs/literate/covid/coexist/coexist_wd.svg (24804, 2023-10-31)
docs/literate/covid/crossexposure_wd.svg (23344, 2023-10-31)
docs/literate/covid/disease_strains.jl (15121, 2023-10-31)
docs/literate/covid/epidemiology.jl (2022, 2023-10-31)
docs/literate/covid/max_common_subobject.jl (1671, 2023-10-31)
docs/literate/covid/stratification.jl (9325, 2023-10-31)
docs/literate/enzymes/ (0, 2023-10-31)
... ...
# AlgebraicPetri.jl
[](https://AlgebraicJulia.github.io/AlgebraicPetri.jl/stable)
[](https://AlgebraicJulia.github.io/AlgebraicPetri.jl/dev)
[](https://github.com/AlgebraicJulia/AlgebraicPetri.jl/actions/workflows/julia_ci.yml)
[](https://zenodo.org/badge/latestdoi/275202510)
`AlgebraicPetri.jl` is a Julia library for building Petri Net models
compositionally. This library acts as a bridge between
[Catlab.jl](https://github.com/AlgebraicJulia/Catlab.jl) and
[Petri.jl](https://github.com/mehalter/Petri.jl). This package defines the
category of Open Petri Nets as described in [[Baez 2018](https://arxiv.org/abs/1808.05415)].
近期下载者：
相关文件：
收藏者：