技术栈
cpn
在在进步
3 个月前
学习
·
cpn
CPN Tools学习——时间和队列【重要】
-Timed Color Sets 时间颜色集-Token Stamps 令牌时间戳-Event Clock 全局/事件/模拟时钟
在在进步
3 个月前
cpn
·
形式化验证
初识形式化验证工具——CPN tools
安装链接:https://cpntools.org/category/downloads/学习链接:https://cs.au.dk/cpnets/industrial-use