Browse Source

Updated README

pull/21/head
Micah Halter 6 months ago
parent
commit
bf839a74ce
Signed by: mehalter GPG Key ID: 4224A6EA9A8CAAA8
1 changed files with 5 additions and 1 deletions
  1. +5
    -1
      README.md

+ 5
- 1
README.md View File

@ -5,4 +5,8 @@
[![Code Coverage](https://codecov.io/gh/AlgebraicJulia/AlgebraicPetri.jl/branch/master/graph/badge.svg)](https://codecov.io/gh/AlgebraicJulia/AlgebraicPetri.jl)
[![DOI](https://zenodo.org/badge/275202510.svg)](https://zenodo.org/badge/latestdoi/275202510)
Build petri net agent based models compositionally
`AlgebraicPetri.jl` is a Julia library for building Petri net agent based 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)].

Loading…
Cancel
Save