TJLoLA is an extended version of the LoLA analyzer (version 1.0beta). It includes three new symmetry reduction algorithms explained in the paper:

• Tommi Junttila. New Canonical Representative Marking Algorithms for Place/Transition-Nets. Research Report A75, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, October 2002.
  Gzipped postscript (546 Kb). PDF (461 Kb). Bibtex Entry.

The source code for TJLoLA is available here. In order to use all the new algorithms, you also need the nauty tool (version 2.0 beta 9 was used in obtaining the experimental results in the paper above).