Access/CPN
From MaRDI portal
Software:14570
No author found.
Related Items (3)
PeCAn: Compositional Verification of Petri Nets Made Easy ⋮ Modeling and Verification of a Protocol for Operational Support Using Coloured Petri Nets ⋮ A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future
This page was built for software: Access/CPN
