FOREVER-开源

【文件属性】：
文件名称：FOREVER-开源
文件大小：57KB
文件格式：JAR
更新时间：2021-04-25 18:01:19
开源软件 FOREVER是一个使用SMV将UML序列图转换为Petri Nets和ckeck系统属性的环境。 该工具接收UML的输入序列图，并以三种不同的格式提供Petri网：APNN，PNML和SMV。