The following pages link to Helena (Q16560):
Displayed 6 items.
- Exploiting colored Petri nets to decide on permutation admissibility (Q1006895) (← links)
- SNAKES: A Flexible High-Level Petri Nets Library (Tool Paper) (Q2941154) (← links)
- Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets (Q3510858) (← links)
- On the Computation of Stubborn Sets of Colored Petri Nets (Q3618703) (← links)
- Model Checking Software (Q5394553) (← links)
- Towards Efficient Verification of Systems with Dynamic Process Creation (Q5505602) (← links)