GitHub repository: stjordanis/AlgebraicPetri.jl
Primary language: Julia
Description: Build petri net models compositionally