Helena
From MaRDI portal
Software:16560
No author found.
Related Items (6)
Model Checking Software ⋮ 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 ⋮ Exploiting colored Petri nets to decide on permutation admissibility ⋮ Towards Efficient Verification of Systems with Dynamic Process Creation
This page was built for software: Helena
