Tool homepage: http://jarp.sf.net/
Tool availability: Free of charge
It can export Petri nets to PNG, GIF, JPEG, PPM and PNML (XML based) file format.
Other analysis can be made by exporting nets to ARP file format.
Support for English, French and Brazilian Portuguese included.
Help with the development is welcome. See the JARP project page for more information.
Ricardo Sangoi Padilha Florianopolis, SC, Brazil Phone: Fax: E-mail: email@example.com