pneditor
pneditor copied to clipboard
capacity limit on places
I'd like to work with k-bounded nets.
I think this can be accomplished by adding <capacity>
attribute to places in a manner similar to http://sarahtattersall.github.io/PIPE/