LoLA
(only in english)
General Information
Download
Documentation
|
LoLA - A Low Level Petri Net Analyser
Download
The use of LoLA is free under the GNU public license which is part of the distribution below.
Download link: http://service-technology.org/files/lola
After downloading and unpacking LoLA, there will be a directory called lola containing a
number of c++ source files. For running LoLA,
- edit the file userconfig.H. Most parts of this file concern properties to be verified or
available reduction techniques. The effect of editing those parts of userconfig.H is
explained in the respective section of the online documentation. The only remaining option
is #HASHSIZE. Its value controls the size of the hash table for storing visited states.
A larger value speeds up state space exploration a little bit at the price of requiring more memory for
the table itself. For most users, the original value should be satisfactory.
- Create an executable file by calling the shell tool make. As a result, there will be
an executable called lola.
- Call lola with a file containing the net description, a file containing information
about the verified property (if applicable - refer to the documentation for details), and
some command line options controlling the desired output information (also explained in the
documentation).
- The configuration in which LoLA has been generated can be accessed calling lola with
the command line option -h.
In a subdirectory of LoLA, you can find a number of example Petri net descriptions
as well as examples for additional information about verification problems.
|