mist2
Overview
Entry last updated: 2010/9/3
Entry last validated: 2010/9/3
Tool homepage: http://software.imdea.org/~pierreganty/software.html
Tool availability: Free of charge
Tool Features
Petri Nets Supported (see also help on terminology)
Components (see also help on terminology)
- State Spaces
- Condensed State Spaces
- Place Invariants
- Net Reductions
Environments
- PC, Linux
- Macintosh, Mac OS X
Tool Description
Our tool solves the coverability problem which is a weaker
version of reachability problem. The tool implements several
algorithms: forward/backward search of the state space using a
symbolic data structure (the IST library). On top of that, efficient
techniques have been implemented to tackle the state explosion
problem. Those includes abstraction-refinement techniques or efficient
traversal techniques of the state space.
Contact Information
Pierre Ganty
The IMDEA Software Institute
Campus de Montegancedo s/n
Boadilla del Monte 28660, Madrid
Spain
Phone: +34-91-336-3742 ext 3325
Fax: Remember country code
E-mail: pierre.ganty@imdea.org
Other Remarks
![[PN Home]](/TGI/PetriNets/img/button_home.gif)
![[*]](/TGI/PetriNets/img/button_tool.gif)
The maintainers of this page