1、安装并配置java jdk；
2、将PiCal2NuSMV.jar拷贝到jdk安装目录下的lib目录中；
3、打开命令行窗口，输入命令java emsoft.nusmv.Tool pifile propfile
其中参数pifile为Pi-演算模型文件名称，propfile为LTL或CTL性质描述文件名称。 使用emsoft.nusmv.Tool命令时，参数pifile必选，参数propfile可选。
4、运行结束后将会产生两个文件，分别以smv和trk为后辍。smv文件为SMV程序代码，trk文件为Pi-演算进程标识过程信息。
以上说明比较简单，有兴趣者可以email联系我：lixiangnuaa@gmail.com
