Platform Independent Petri Net Editor is an open-source Petri net editor.
http://pipe2.sourceforge.net