Access/CPN

MaRDI QIDQ14570swMATHFDO

Official website http://cpntools.org/

Cited in

(6)

• PeCAn: compositional verification of Petri nets made easy
• A perspective on explicit state space exploration of coloured Petri nets: past, present, and future
• Modeling and Verification of a Protocol for Operational Support Using Coloured Petri Nets
• CPN/Tools
• ASAP
• PeCAn

This page was built for software: Access/CPN