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)


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

Phone:   +34-91-101-2202 ext 4106
E-mail: pierre.ganty@imdea.org

Other Remarks

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