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)
- High-level Petri Nets
- Place/Transition Nets
Components (see also help on terminology)
- Fast Simulation
- State Spaces
- Condensed State Spaces
Environments
- Sun, SunOS
- HP, HP-UX
- Silicon Graphics, IRIX
- PC, Linux
- PC, MS DOS
- PC, OS/2
- PC, MS Windows 95
- PC, MS Windows 98
- PC, MS Windows NT
- PC, MS Windows 2000
- PC, MS Windows XP
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]](/TGI/PetriNets/img/button_home.gif)
![[*]](/TGI/PetriNets/img/button_tool.gif)
The maintainers of this page