Colored Petri Nets, LLMs, and distributed applications (blog.sao.dev)

[dead]

Not knowing much about this space, isn't this something you could do in TLA+ ?

Interestingly, one can formalize (open) petri nets using category theory. This is very nicely described by John Baez [here](https://math.ucr.edu/home/baez/petri.pdf), and naturally gives compositions of petri nets.

There is also a [Julia package](https://algebraicjulia.github.io/AlgebraicPetri.jl/dev/) to simulate them!

[flagged]