swMATH4384MaRDI QIDQ16560FDOQ16560
Author name not available (Why is that?)
Official website: http://www.lipn.univ-paris13.fr/~evangelista/helena/
Cited In (12)
- On the Computation of Stubborn Sets of Colored Petri Nets
- Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets
- Towards Efficient Verification of Systems with Dynamic Process Creation
- Exploiting colored Petri nets to decide on permutation admissibility
- GreatSPN
- SNAKES
- Crocodile
- CosyVerif
- Model Checking Software
- caesar.bdd
- NUPN_INFO
- SNAKES: a flexible high-level Petri nets library (tool paper)
This page was built for software: Helena
