Helena

MaRDI QIDQ16560swMATHFDO

Official website http://www.lipn.univ-paris13.fr/~evangelista/helena/

Described by source

• Applications and Theory of Petri Nets 2005

Cited in

(18)

• Exploiting colored Petri nets to decide on permutation admissibility
• GreatSPN
• CPN/Tools
• Quasar
• GreatSPN 1.7
• AlPiNA
• PROD
• Maria
• SNAKES
• Crocodile
• CosyVerif
• SNAKES: a flexible high-level Petri nets library (tool paper)
• Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets
• On the Computation of Stubborn Sets of Colored Petri Nets
• NUPN_INFO
• caesar.bdd
• Model Checking Software
• Towards Efficient Verification of Systems with Dynamic Process Creation

This page was built for software: Helena