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].
forked from AlgebraicJulia/AlgebraicPetri.jl
-
Notifications
You must be signed in to change notification settings - Fork 0
Build Petri net models compositionally
License
tienbien44/AlgebraicPetri.jl
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Build Petri net models compositionally
Resources
License
Stars
Watchers
Forks
Packages 0
No packages published
Languages
- Julia 100.0%