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)


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

Phone:  +34-91-336-3742 ext 3325
Fax:    Remember country code
E-mail: pierre.ganty@imdea.org

Other Remarks

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