The following pages link to Access/CPN (Q14570):
Displaying 3 items.
- Modeling and Verification of a Protocol for Operational Support Using Coloured Petri Nets (Q3011887) (← links)
- PeCAn: Compositional Verification of Petri Nets Made Easy (Q3457799) (← links)
- A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future (Q3569860) (← links)