mist
Overview
Entry last updated: 2013/2/26
Entry last validated: 2013/2/26
Tool homepage: https://github.com/pierreganty/mist
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
- Transition Invariants
- Net Reductions
Environments
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
IMDEA Software Institute
Edificio IMDEA Software
Campus Montegancedo UPM
28223-Pozuelo de Alarcn, Madrid
SPAIN
Phone: +34-91-101-2202 ext 4106
Fax:
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