FOREVER-开源

FOREVER是一个使用SMV将UML序列图转换为Petri Nets和ckeck系统属性的环境。 该工具接收UML的输入序列图，并以三种不同的格式提供Petri网：APNN，PNML和SMV。