It looks like you're new here. If you want to get involved, click one of these buttons!
This will be based on the research Jim Stuttard has been compiling at Petri net - software. However, it won't replace this article because I'll focus on a subset of the software tools - the ones that seem best, or best-documented.
There's nothing much in this article yet except a copy of what Jim Stuttard wrote - I'll say when I write something!
This article could be part of David Tanzer's blog series on Petri net programming, or a standalone.