ProM安装
目录
安装Eclipse和jdk
不要安装最新版本的,这个网上很多教程就不多写了。
安装ProM
链接:https://pan.baidu.com/s/1YhQZPe6Nqdy5S3sYGlQ1Og
提取码:z0g1
复制这段内容后打开百度网盘手机App,操作更方便哦
ProM官网的链接,包含安装教程,学习,练习部分
http://www.promtools.org/doku.php?id=prom69
- 双击ProMPM69.bat,安装所需要的包,之后会出现一个界面,选择 No installed,然后选择RunnerUpPackages, 之后选择 install , 这一步是下载包,如果在No installed下没有找到RunnerUpPackages,在Update下查看,可能已经安装好了。
- 双击ProM69.bat,
- 注意下载上图的包
- 然后到此ProM安装完成,之后就是从Eclipse中进行配置,调用Prom
(安装ProM6.5.1 和安装ProM69的区别)
PROM651PM.bat运行界面,和PROM69PM.bat的界面不一样
WoPeD
官网链接:https://woped.dhbw-karlsruhe.de/
WoPeD是Petri网图形编辑工具,编辑的Petri网保存格式为.pnml
链接:https://pan.baidu.com/s/1QpK9Aw1aOHstXkT_-6J7lA
提取码:auo8
复制这段内容后打开百度网盘手机App,操作更方便哦