Cited in
(18)- 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
- CPN/Tools
- Quasar
- GreatSPN 1.7
- AlPiNA
- PROD
- Maria
- SNAKES
- Crocodile
- CosyVerif
- caesar.bdd
- NUPN_INFO
- Model Checking Software
- SNAKES: a flexible high-level Petri nets library (tool paper)
This page was built for software: Helena
