LoLA

Overview

Entry last updated: 2013/12/13
Entry last validated: 2013/12/13

Tool homepage: http://www.informatik.uni-rostock.de/tpp/lola/download.htm

Tool availability: Free of charge

Tool Features

Petri Nets Supported (see also help on terminology) Components (see also help on terminology)

Environments

Tool Description

Reads a PT-net or HL net in simple syntax. Performs state space analysis for boundedness, various, reachability queries, reversibility, liveness, home states, deadlocks, dead transitions, CTL model checking, and some LTL properties. Uses various state space reduction techniques including stubborn sets, symmetries, coverability graphs, the sweep-line method and exploits knowledge about invariants.

Contact Information

Karsten Wolf
Universitaet Rostock, Institut fuer Informatik
Schwaansche Str. 2
18051 Rostock
Germany

Phone:  +49-381-4987670
Fax:    +49-381-4987642
E-mail: 

Other Remarks


[PN Home][*]
The maintainers of this page