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.
Planimetric Geometry (JCabri) is a rewrite of Cabri Geometry in Java. It provides solution for doing geometric constructions in 2D and exporting them as an animated GIF or Java applet.