AnyWikiDraw is a graphical editor for rapid editing of drawings and diagrams on Wiki pages. Supported file formats: SVG, PNG, JPEG and DRAW. Supported Wikis: MediaWiki, PmWiki and TWiki.
Java editor for petri nets, based on the ARP analyzer. Exports nets to GIF, JPEG, PNG, PPM, ARP and PNML (XML based) file format. Uses the excellent JHotDraw 5.2 framework.