Helena
swMATH ID: | 4384 |
Software Authors: | Evangelista, Sami |
Description: | High level Petri nets analysis with Helena. This paper presents the high level Petri nets analyzer Helena. Helena can be used for the on-the-fly verification of state properties, i.e., properties that must hold in all the reachable states of the system, and deadlock freeness. Some features of Helena make it particularly efficient in terms of memory management. Structural abstractions techniques, mainly transitions agglomerations, are used to tackle the state explosion problem. Benchmarks are presented which compare our tool to Maria. Helena is developed in portable Ada and is freely available under the conditions of the GNU General Public License. |
Homepage: | http://www.lipn.univ-paris13.fr/~evangelista/helena/ |
Related Software: | PROD; veriSoft; CPN/Tools; SPIN; GreatSPN 1.7; GreatSPN; SNAKES; caesar.bdd; NUPN_INFO; Casper; AVISPA; Bogor; Quasar; SPOT; Maria; SWIG; TINA; CosyVerif; Cython; Graphviz |
Cited in: | 8 Documents |
Standard Articles
1 Publication describing the Software, including 1 Publication in zbMATH | Year |
---|---|
High level Petri nets analysis with Helena. Zbl 1128.68377 Evangelista, Sami |
2005
|
all
top 5
Cited by 11 Authors
Cited in 1 Serial
1 | Acta Informatica |
Cited in 2 Fields
8 | Computer science (68-XX) |
1 | Information and communication theory, circuits (94-XX) |