生产

利用PROD工具对GSPN和SWN模型的验证本文将GreatSPN工具扩展到广义随机Petri网(GSPN)和随机良构网(SWN)允许检查状态空间属性的解决方案:该扩展基于将GreatSPN格式的GSPN和SWN网转换为高级Petri网,这些Petri网是验证工具PROD的有效输入,并基于许多“分析”宏的定义,这些宏可供非PROD专家用于验证模型。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换