These are tools for working with Coloured Petri Nets, which are Petri Nets which can have data associated with tokens.
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.
These are tools for working with Coloured Petri Nets, which are Petri Nets which can have data associated with tokens.
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.