If you're interested in this topic, you may enjoy James Fairbanks' talk on Catlab.jl, which is an applied category theory software package: https://youtu.be/7zr

If you're interested in this topic, you may enjoy James Fairbanks' talk on Catlab.jl, which is an applied category theory software package: https://youtu.be/7zr2qnud4XM https://youtu.be/7zr2qnud4XM. Petri Nets are one of the examples.