PeCAn

MaRDI QIDQ42032swMATHFDO

Official website https://link.springer.com/chapter/10.1007%2F978-3-319-11936-6_18

Described by source

• PeCAn: compositional verification of Petri nets made easy

Cited in

(2)

• CPN/Tools
• Access/CPN

This page was built for software: PeCAn