ProM安装以及配置

本文档详细介绍了如何安装Eclipse和JDK,重点是ProM的安装过程,包括从百度网盘下载安装包,通过ProMPM69.bat进行安装,并指导如何在Eclipse中配置和调用ProM。此外,还提到了WoPeD,一个Petri网图形编辑工具,用于编辑和保存.pnml格式的文件,同样提供了下载链接和安装说明。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

ProM安装

目录

安装Eclipse和jdk

安装ProM

WoPeD


安装Eclipse和jdk

不要安装最新版本的,这个网上很多教程就不多写了。

安装ProM

 

链接:https://pan.baidu.com/s/1YhQZPe6Nqdy5S3sYGlQ1Og 
提取码:z0g1 
复制这段内容后打开百度网盘手机App,操作更方便哦

ProM官网的链接,包含安装教程,学习,练习部分

http://www.promtools.org/doku.php?id=prom69

  1. 双击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,操作更方便哦

 

 

 

 

 

 

 

 

 

评论 15
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值