This web page formerly was the home page of the Petri net based verification tool LoLA. LoLA is now available under the link http://wwwteo.informatik.uni-rostock.de/ls_tpp/lola/ .