Access/CPN

swMATH2024MaRDI QIDQ14570FDOQ14570

Author name not available (Why is that?)

Official website: http://cpntools.org/

Cited In (4)

• 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
• PeCAn
• PeCAn: compositional verification of Petri nets made easy

This page was built for software: Access/CPN