CPN Tools & CPN IDE #151
Description
These are tools for working with Coloured Petri Nets, which are Petri Nets which can have data associated with tokens.
- https://en.wikipedia.org/wiki/CPN_Tools
- https://cpntools.org — defunct circa 2010
- https://cpnide.org — the successor
Searching on youtube turned up a bunch of tutorial videos. You can see values update as you fire the graph, though there's no animation or anything.
Like all petri nets, the emphasis seems to be on rigorous modelling as opposed to building an executable program.