There should be step-through functionality for Petri nets.
The currently enabled transitions marked green.
The current marking (tokens on places) visualized accordingly (using a
black circle in case of 1 token, a number in case of more than 1 token).
Original issue reported on code.google.com by gero.dec...@googlemail.com on 29 Oct 2008 at 2:23
Original issue reported on code.google.com by
gero.dec...@googlemail.com
on 29 Oct 2008 at 2:23