ProM安装以及配置

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

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

ProM安装以及配置相关推荐

CentOS8安装与配置Ceph Octopus教程
1 环境介绍与配置 1.1 ceph介绍 #ceph架构 #ceph支持的三种接口: 1 Object:有原生的API,而且也兼容Swift和S3的API. 2 Block:支持精简配置.快照.克隆. ...
Grafana安装与配置
文章目录前言一.docker-compose.yml 二.config.monitoring 三.datasource.yml 四.grafana.ini 五.启动总结前言先用docker来 ...
普罗米修斯（Promethus）介绍及安装与配置
这篇文章主要为大家介绍了普罗米修斯基本功能特点及安装与配置实现过程,有需要的朋友可以借鉴参考下,希望能够有所帮助,祝大家多多进步,早日升职加薪! 1. 普罗米修斯概述 Prometheus(是由go语 ...
Kubernetes监控体系(11)-alertmanager安装和配置
本篇文章介绍k8s集群中部署prometheus.grafana.alertmanager,并且配置prometheus的动态.静态服务发现,实现对容器.物理节点.service.pod等资源指标监控 ...
Maven安装与配置（最实用！！！）eclipse中配置maven
Maven安装与配置一.需要准备的东西 JDK Eclipse(本章主要是在eclipse中进行配置maven) Maven程序包二.下载与安装 1. 前往maven下载最新版的Maven程序: ...
Portainer 安装与配置
文章目录 Portainer 安装与配置一.介绍二.安装使用 1.单机运行 2.基于swarm集群方式运行 Portainer 安装与配置一.介绍 Portainer 是一个开源.轻量级Do ...
Myeclipse安装、配置、测试
Myeclipse安装.配置.测试(win7_64bit) 目录 1.概述 2.本文用到的工具 3.安装与激活 4.JavaSE开发测试(确保JDK已正确安装) 5.JavaEE开发测试(确保服务器和 ...
[网摘学习]在Ubuntu上安装和配置OpenStack Nova之二
再收藏一份Openstack的文章,这两天的操作与此相同.但其中出现的问题还需要查找原因.待个人继续学习研究. 原文参考:http://www.linuxde.net/2011/11/1599.htm ...
centos6.5 php5.2,Linux中PHP安装与配置(CentOS-6.5：php-5.2.13)
1 PHP简介 PHP(PHP: Hypertext Preprocessor的缩写,中文名:"超文本预处理器")是一种通用开源脚本语言.语法吸收了C语言.Java和Per ...

ProM安装以及配置

安装Eclipse和jdk

安装ProM

(安装ProM6.5.1 和安装ProM69的区别）

WoPeD

ProM安装以及配置相关推荐

最新文章

热门文章