TJLoLA is an extended version of the
analyzer (version 1.0beta).
It includes three new symmetry reduction algorithms
explained in the paper:
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).
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.
PDF (461 Kb).