JARP
Petri Nets Analyzer
Português (Brasil)
English
http://jarp.sourceforge.net