|
 
|
[EVA05] High Level Petri Nets Analysis with Helena
Conférence Internationale avec comité de lecture : Int. Conf. On Application and Theory of Petri Nets, Miami, USA, January 2005, Vol. 3536(26), pp.455-464, Series LNCS,
motcle:
Résumé:
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.
BibTeX
| @inproceedings { | |||
| EVA05, | |||
| title | = | "{High Level Petri Nets Analysis with Helena}", | |
| author | = | " S. Evangelista ", | |
| booktitle | = | "{Int. Conf. On Application and Theory of Petri Nets, Miami, USA}", | |
| year | = | 2005, | |
| month | = | "January", | |
| series | = | "LNCS", | |
| volume | = | 3536, | |
| issue | = | 26, | |
| pages | = | "455-464", | |
| } | |||
