This is the tjlola version 1.0beta software.
It is an extension of the lola version 1.0beta reachability analyzer
for P/T-nets by Karsten Schmidt (in file original_lola_v1.0b.tar.gz).
It contains new symmetry reduction algorithms (algorithms no. 6--8),
described in:
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.

In addition to the files in this package, you also need the nauty tool
version 2.0 beta by Brendan McKay, available at
http://cs.anu.edu.au/~bdm/nauty/
If you cannot download nauty for some reason, you can unset the TJ_NAUTY flag
in the file TJ_defs.H.